Publications
| Publication |
| Verifizierte Implementierung von Patricia-Bäumen |
Advisors
| Former Staff Member |
|---|
| Dr. rer. nat. Andreas Lochbihler |
| Dipl.-Inform. Denis Lohner |
Students
| Former Students |
|---|
| Tim Habermaas |
study thesis (finished): Verified Implementation of Patricia trees