Bubel, Richard books & textbook
Deductive Software Verification – The KeY Book: From Theory to Practice (Programming and Software Engineering)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Schmitt, Peter H. Ulbrich, Mattias
Springer /2016-12-21 Paperback / 734 Pages
isbn-10: 3319498118 / isbn-13: 9783319498119
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Johnsen, Einar Broch
Springer /2022-06-16 Paperback / 536 Pages
isbn-10: 303108165X / isbn-13: 9783031081651
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
Ahrendt, Wolfgang Beckert, Bernhard Bubel, Richard Hähnle, Reiner Ulbrich, Mattias
Springer /2020-12-09 Paperback / 352 Pages
isbn-10: 3030643530 / isbn-13: 9783030643539
