Publications
| Publication |
| Verifizierte Berechnung von Datenabhängigkeiten |
Advisors
| Former Staff Member |
|---|
| Dipl.-Inform. Denis Lohner |
Students
| Former Students |
|---|
| Haoqian Zheng |
bachelor/study thesis (finished): Verified implementation for data dependencies
Description available only in German.