Reiner Hähnle
Identifiers
- Open LibraryOL7574205A
Top Subjects
- Machine learning (1)
- Computer software, verification (1)
- Robots, programming (1)
- Computer software (1)
- Computer modelling & simulation (1)
- Computer science (1)
- Programming & scripting languages: general (1)
Books by Reiner Hähnle
Total count: 9
-
Verification of Object-Oriented Software. the KeY ApproachForeword by K. Rustan M. LeinoSpringer London, Limited2007-01-01
-
Tests and ProofsSecond International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, ProceedingsSpringer London, Limited2008-01-01
-
Automated Reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, ProceedingsSpringer2010-01-01
-
Leveraging Applications of Formal Methods, Verification, and ValidationInternational Workshops, SARS 2011 and MLSC 2011, Held under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected PapersSpringer2012-01-01
-
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesSpringer London, Limited2013-01-01
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised LecturesSpringer2013-08-26-
Deductive Software Verification - the KeY BookFrom Theory to PracticeSpringer International Publishing AG2016-01-01
-
Fundamental Approaches to Software Engineering22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, ProceedingsSpringer Nature2019-01-01
-
Deductive Software Verification : Future PerspectivesReflections on the Occasion of 20 Years of KeYSpringer International Publishing AG2020-01-01