Reiner Hähnle

Reiner Hähnle

Technische Universität Darmstadt - Darmstadt / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1765615
Darmstadt University of Technology
person_outline Reiner Hähnle's MOST POPULAR ARTICLES
1-) ABS: A core language for abstract behavioral specification International Symposium on Formal Methods for Components and Objects, 142-164, 2010
2-) Deductive Software Verification–The KeY Book: From Theory to Practice Springer, 2016
3-) The key tool Software & Systems Modeling 4 (1), 32-54, 2005
4-) Handbook of tableau methods Kluwer Academic Publishers, 1999
5-) Handbook of tableau methodsM D\'Agostino, D Gabbay, R Hähnle, J PoseggaKluwer Academic Publishers, 1999419*1999