cand. inform. Tim Habermaas

	Contact

Publications

2013

• Verifizierte Implementierung von Patricia-Bäumen
  January 2013 : T. Habermaas

Theses worked on

• Verified Implementation of Patricia trees (finished), study thesis