Deductive Software Verification - the KeY Book
de Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt
Materias
Ediciones (2)
- Deductive Software Verification - the KeY Book (2017)
Springer · inglés · ISBN 9783319498126
- Deductive Software Verification - the KeY Book (2016)
Springer International Publishing AG · inglés · ISBN 9783319498119
