| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I | 978-3-319-21689-8 | 2015 | Daniel Kroening |
| Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II | 978-3-319-21667-6 | 2015 | " |
| Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers | 978-3-642-35860-9 | 2013 | Corina S Pasareanu · Gwen Salaün |
| Model Checking Software: 16th International S.P.I.N. Workshop, Grenoble, France, June 26-28, 2009, Proceedings | 978-3-642-02651-5 | 2009 | Corina S. Pasareanu |