| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings | Taschenbuch | 978-3-642-39798-1 (3-642-39798-0) | 2013 | Helmut Veith |
| Validation of Evolving Software | " | 978-3-319-38200-5 (3-319-38200-4) | 2016 | Hana Chockler · Daniel Kroening · Leonardo Mariani |
| Validation of Evolving Software | Gebunden | 978-3-319-10622-9 (3-319-10622-8) | 2015 | Hana Chockler · Daniel Kroening · Leonardo Mariani |