| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10981) | Taschenbuch | 978-3-319-96144-6 | 2018 | Georg Weissenbacher |
| Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... Notes in Computer Science, Band 10982) | " | 978-3-319-96141-5 | 2018 | " |
| Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, H.V.C. 2008, Haifa, Israel, October 27-30, 2008, . . ... Notes in Computer Science, Band 5394) | " | 978-3-642-01701-8 | 2009 |
| Hardware and Software: Verification and Testing | " | 978-3-642-01703-2 | 2009 |
| Validation of Evolving Software | " | 978-3-319-38200-5 | 2016 | Daniel Kroening · Leonardo Mariani · Natasha Sharygina |
| Validation of Evolving Software | Gebunden | 978-3-319-10622-9 | 2015 | Daniel Kroening · Leonardo Mariani · Natasha Sharygina |