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
Contributions
| ESOP 2015 | Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track |