Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY

Full text!
Format:
e-book
Title:
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Author:
Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Language:
English
Publisher:
Springer International Publishing 2020
ISBN:
3-030-64353-0
3-030-64354-9
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000011645175?locale=en