conf.researchr.org / Michael Petter
Not registered as user yet
Name: Michael Petter
Affiliation: Technische Universität München
Contributions
| ESOP 2015 | Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track |
Not registered as user yet
Name: Michael Petter
Affiliation: Technische Universität München
Contributions
| ESOP 2015 | Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track |