Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael Petter
conf.researchr.org general profile
ESOP 2015 profile
Not registered as user
Name:
Michael Petter
Affiliation:
Technische Universität München
Contributions
2015
ESOP
Author of Inter-procedural Two-Variable Herbrand Equalities within the ESOP-track
Share
x
Fri 27 Dec 07:14