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

Gespeichert in:
Hauptverfasser:
Ahrendt, Wolfgang (HerausgeberIn), Beckert, Bernhard (HerausgeberIn), Bubel, Richard (HerausgeberIn), Hähnle, Reiner (HerausgeberIn), Ulbrich, Mattias (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2020
Ausgabe:
1st ed. 2020
Umfang:
1 Online-Ressource (XII, 339 p. 93 illus., 39 illus. in color)
text file PDF
Schriftenreihe:
Programming and Software Engineering
ISBN:
9783030643546
DOI:
10.1007/978-3-030-64354-6
Schlagworte:
Software engineering
Computer logic
Artificial intelligence
Application software
Bezugswerke:
Links: