Home Advanced Search

Advanced Search - Page 1

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Michael Hennell (auth.), Bernhard Beckert, Reiner Hähnle (eds.)
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino
  • PDF
  • English
  • Year: 2007
  • Author: Reiner Hähnle (auth.), Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt (eds.)
Deductive Software Verification – The KeY Book: From Theory to Practice
  • PDF
  • English
  • Year: 2016
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich (eds.)
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
  • PDF
  • English
  • Year: 2020
  • Author: Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
  • PDF
  • English
  • Year: 2012
  • Author: Reiner Hähnle, Ina Schaefer (auth.), Tiziana Margaria, Bernhard Steffen (eds.)
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
  • PDF
  • English
  • Year: 2013
  • Author: Reiner Hähnle (auth.), Elena Giachino, Reiner Hähnle, Frank S. de Boer, Marcello M. Bonsangue (eds.)
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
  • PDF
  • English
  • Year: 2012
  • Author: Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.)
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: June Andronick (auth.), Bernhard Beckert, Claude Marché (eds.)
search