Publications
| Publication |
| Funktionale Konstruktion und Verifikation von Kontrollflussgraphen |
Advisors
| Former Staff Member |
|---|
| Dr. rer. nat. Andreas Lochbihler |
bachelor/study thesis (finished): Constructing control flow graphs in a functional language
Description only available in German.