Reiner Hähnle
Reiner Hähnle
2 books in the database
Books
Leveraging Applications of Formal Methods, Verification, and ValidationReiner Hähnle
Leveraging Applications of Formal Methods, Verification, and Validation
Reiner Hähnle · 2012
Fundamental Approaches to Software EngineeringReiner Hähnle
Fundamental Approaches to Software Engineering
Reiner Hähnle · 2019
Co-authored books and collections
Books that list Reiner Hähnle among their authors but not as the lead author: co-written works, collections and compilations.
Deductive Software Verification : Future PerspectivesWolfgang Ahrendt
Deductive Software Verification : Future Perspectives
Wolfgang Ahrendt · 2020
Machine Learning for Dynamic Software Analysis : Potentials and LimitsAmel Bennaceur
Machine Learning for Dynamic Software Analysis : Potentials and Limits
Amel Bennaceur · 2018
Deductive Software Verification - the KeY BookWolfgang Ahrendt
Deductive Software Verification - the KeY Book
Wolfgang Ahrendt · 2017
Automated ReasoningJürgen Giesl
Automated Reasoning
Jürgen Giesl · 2010
Tests and ProofsBernhard Beckert
Tests and Proofs
Bernhard Beckert · 2008
Verification of Object-Oriented Software. the KeY ApproachBernhard Beckert
Verification of Object-Oriented Software. the KeY Approach
Bernhard Beckert · 2007