Veröffentlichungen
| Veröffentlichung |
| Verified Construction of SSA Form |
Betreuer
| Ehemalige Mitarbeiter |
|---|
| Dipl.-Inform. Sebastian Buchwald |
| Dipl.-Inform. Denis Lohner |
Studenten
| Ehemalige Mitarbeiter |
|---|
| Dr.-Ing. Sebastian Ullrich |
Bachelorarbeit (abgeschlossen): Formalisierung von SSA-Form