| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, ... Notes in Computer Science , Band 4262) | 978-3-540-49699-1 | 2007 |
| Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings | 978-3-540-85113-4 | 2008 |
| NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings | 978-3-319-17523-2 | 2015 | Gerard Holzmann · Rajeev Joshi |
| NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings | 978-3-642-20397-8 | 2011 | Mihaela Bobaru · Gerard Holzmann · Rajeev Joshi |
| Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings | 978-3-642-16611-2 | 2010 | Howard Barringer · Ylies Falcone · Bernd Finkbeiner · Insup Lee · Gordon Pace · Grigore Rosu · Oleg Sokolsky |
| SPIN Model Checking and Software Verification: 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings | 978-3-540-41030-0 | 2008 | Willem Visser · John Penix |
| Tools and Algorithms for the Construction and Analysis of Systems | 978-3-642-54861-1 | 2014 | Erika Abraham |