bib.howest.be Zoekresultaten

U zocht naar: Auteur Reiner Hähnle

1 - 8 van 8

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

Auteur:: Bennaceur; Karl Meinke; Reiner Hähnle; Hähnle, Reiner; Meinke, Karl
Uitgever:: Springer International Publishing 2018
Type:: e-book

2. Tests and Proofs

Auteur:: Beckert, Bernhard; Hähnle, Reiner
Uitgever:: Springer Berlin Heidelberg 2008
Type:: e-book

3. Automated Reasoning

Auteur:: Giesl, Jürgen; Hähnle, Reiner; Kanade, Takeo
Uitgever:: Springer Berlin Heidelberg 2010
Type:: e-book

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

Auteur:: Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Uitgever:: Springer International Publishing 2020
Type:: e-book

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

Auteur:: Hähnle, Reiner; Knoop, Jens; Margaria, Tiziana; Schreiner, Dietmar; Steffen, Bernhard
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

6. Deductive Software Verification – The KeY Book

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

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

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

8. Formal Methods for Components and Objects

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