Publications
| Publication |
| Verified Computation of Control Dependencies in a Control Flow Graph |
Advisors
| Former Staff Member |
|---|
| Dipl.-Inform. Denis Lohner |
Students
| Former Staff Member |
|---|
| M.Sc. Maximilian Wagner |
bachelor/study thesis (finished): Verified implementation for control dependencies
Description only available in German.