Publications
| Publication |
| Verified Construction of SSA Form |
Advisors
| Former Staff Member |
|---|
| Dipl.-Inform. Sebastian Buchwald |
| Dipl.-Inform. Denis Lohner |
Students
| Former Staff Member |
|---|
| Dr.-Ing. Sebastian Ullrich |
bachelor thesis (finished): Formalization of SSA-form