| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings | 978-3-540-37187-8 (3-540-37187-7) | 2008 | Ulrich Furbach |
| Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings | 978-3-540-87872-8 (3-540-87872-6) | 2008 | James Woodcock |