Reiner Hähnle

No bio available. Add one in Open Library.

Books by Reiner Hähnle (50 max)

+ shelf+ list

Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

2012

Reiner Hähnle

+ shelf+ list

Deductive Software Verification - the KeY Book: From Theory to Practice

2016

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt

+ shelf+ list

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and ...

2019

Reiner Hähnle, Wil van der Aalst

+ shelf+ list

Verification of Object-Oriented Software. the KeY Approach Foreword by K. Rustan M. Leino

2007

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

+ shelf+ list

Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

2008

Bernhard Beckert, Reiner Hähnle

+ shelf+ list

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

2010

Jürgen Giesl, Reiner Hähnle

+ shelf+ list

Machine Learning for Dynamic Software Analysis : Potentials and Limits : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, ... Papers

2018

Amel Bennaceur, Reiner Hähnle, Karl Meinke

+ shelf+ list

Deductive Software Verification : Future Perspectives Reflections on the Occasion of 20 Years of KeY

2020

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich