| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings | 978-3-540-27231-1 (3-540-27231-3) | 2010 | Kousha Etessami |
| Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings | 978-3-540-40117-9 (3-540-40117-2) | 2003 | Thomas Ball |
| Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings | 978-3-642-15056-2 (3-642-15056-X) | 2010 | Gary T. Leavens · Peter O'Hearn |
K. R. · Rajamani, Sriram K. · S.K. · S.K.R. · S R