Publications
| Publication |
| Verifizierte Summary Kanten Berechnung in System Dependence Graphs |
Advisors
| Former Staff Member |
|---|
| Dr. rer. nat. Andreas Lochbihler |
| Dipl.-Inform. Denis Lohner |
bachelor/study thesis (finished): Functional summary edge computation for PDGs