| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings | 978-3-540-75595-1 (3-540-75595-0) | 2007 | Tomohiro Yoneda · Teruo Higashino |
| Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, ... Notes in Computer Science, Band 6405) | 978-3-642-19236-4 (3-642-19236-X) | 2011 | Andreas Zeller · Avi Ziv |