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

Type:

e-book

Titel:

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

Auteur:

Ahrendt; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias

Taal:

Engels

Uitgever:

Springer International Publishing 2020

ISBN:

3-030-64353-0
3-030-64354-9

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000011645175