cand. inform. Tim Habermaas

	Kontakt

Veröffentlichungen

2013

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

Bearbeitete Studien- und Abschlussarbeiten

• Verifizierte Implementierung von Patricia-Bäumen (abgeschlossen), Studienarbeit