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