Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias (eds.) (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
In: Lecture Notes in Computer Science, 10001, Springer, ISBN 978-3-319-49811-9,
DOI: 10.1007/978-3-319-49812-6,
[Book]
Official URL: https://doi.org/10.1007/978-3-319-49812-6
Item Type: | Book |
---|---|
Erschienen: | 2016 |
Editors: | Ahrendt, Wolfgang and Beckert, Bernhard and Bubel, Richard and Hähnle, Reiner and Schmitt, Peter H. and Ulbrich, Mattias |
Title: | Deductive Software Verification - The KeY Book - From Theory to Practice |
Language: | German |
Series Name: | Lecture Notes in Computer Science |
Volume: | 10001 |
Publisher: | Springer |
ISBN: | 978-3-319-49811-9 |
Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
Date Deposited: | 27 Apr 2018 10:03 |
DOI: | 10.1007/978-3-319-49812-6 |
Official URL: | https://doi.org/10.1007/978-3-319-49812-6 |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
![]() |
Send an inquiry |
Options (only for editors)
![]() |
Show editorial Details |