bib.howest.be Search Results

You searched for: Auteur Hähnle, Reiner

1 - 8 of 8

1. Tests and Proofs

Author:: Beckert, Bernhard; Hähnle, Reiner
Publisher:: Springer Berlin Heidelberg 2008
Format:: e-book

2. Machine Learning for Dynamic Software Analysis: Potentials and Limits

Author:: Bennaceur; Karl Meinke; Reiner Hähnle; Hähnle, Reiner; Meinke, Karl
Publisher:: Springer International Publishing 2018
Format:: e-book

3. Automated Reasoning

Author:: Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Publisher:: Springer Berlin Heidelberg 2010
Format:: e-book

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

Author:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Publisher:: Springer International Publishing 2020
Format:: e-book

5. Leveraging Applications of Formal Methods, Verification, and Validation

Author:: Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Publisher:: Springer Berlin Heidelberg 2012
Format:: e-book

6. Deductive Software Verification – The KeY Book

Author:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Schmitt, Peter H.; Ulbrich, Mattias
Publisher:: Springer International Publishing 2016
Format:: e-book

7. Verification of Object-Oriented Software. The KeY Approach

Author:: Beckert, Bernhard; Carbonell, Jaime G.; Hähnle, Reiner; Schmitt, Peter H.; Siekmann, Jörg; Leino, Matti; Rustan, K.
Publisher:: Springer Berlin Heidelberg 2007
Format:: e-book

8. Formal Methods for Components and Objects

Author:: Giachino, Elena; de Boer, Frank S.; Bonsangue, Marcello M.; Bonsangue, Marcello M.; de Boer, Frank S.; Hähnle, Reiner
Publisher:: Springer Berlin Heidelberg 2013
Format:: e-book