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. Leino

Springer London, Limited2007-01-01
Tests and ProofsSecond International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Springer London, Limited2008-01-01
Automated Reasoning5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Springer2010-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 Papers

Springer2012-01-01
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer London, Limited2013-01-01
Formal Methods for Components and Objects11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Springer2013-08-26
Deductive Software Verification - the KeY BookFrom Theory to Practice

Springer 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, Proceedings

Springer Nature2019-01-01
Deductive Software Verification : Future PerspectivesReflections on the Occasion of 20 Years of KeY

Springer International Publishing AG2020-01-01