Publications
| Publication |
| Algorithmik- und logikbasierte Points-to Analysen im Vergleich |
Advisors
| Former Staff Member |
|---|
| Dr.-Ing. Jürgen Graf |
Students
| Former Students |
|---|
| Markus Herhoffer |
Diploma thesis (finished): Comparing Algorithmic and Logic based Points-to Analyses