ISBN 9783319498119 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
