| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
| Correct System Design: Recent Insights and Advances | 978-3-540-66624-0 | 1999 | Ernst-Rüdiger Olderog |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues) | 978-3-642-16557-3 | 2010 | Tiziana Margaria |
| Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues) | 978-3-642-16560-3 | 2010 | " |
| Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, ... in Computer and Information Science) | 978-3-540-88478-1 | 2008 | " |
| Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers | 978-3-540-64367-8 | 1998 | Tiziana Margaria · Roland Rückert |
| Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... | 978-3-540-64356-2 | 1998 |
| Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers | 978-3-540-60630-7 | 2008 | Ed Brinksma · W. Rance Cleaveland · Tiziana Margaria · Kim G. Larsen |
| Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... | 978-3-540-61042-7 | 2008 | Tiziana Margaria |
| Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings: 5th ... | 978-3-540-20803-7 | 2004 | Giorgio Levi |