Bubel, Richard ; Montoya, Antonio Flores ; Hähnle, Reiner
Hrsg.: Bernardo, M. ; Damiani, F. ; Hähnle, R. ; Johnsen, E. B. ; Schaefer, I. (2014)
Analysis of Executable Software Models.
doi: 10.1007/978-3-319-07317-0_1
Konferenzveröffentlichung, Bibliographie

Aderhold, Markus
Hrsg.: Giesl, J. ; Hähnle, R. (2010)
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
Konferenzveröffentlichung, Bibliographie