Ulbrich, Mattias 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
Dynamic Logic for an Intermediate Language
epubli GmbH /2014-06-15 Paperback / 268 Pages
isbn-10: 3844297030 / isbn-13: 9783844297034
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
