Reiner Hähnle
Reiner Hähnle
2 ספרים במאגר
ספרים
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
ספרים משותפים ואוספים
ספרים שבהם Reiner Hähnle מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
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