| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings | 978-3-642-15642-7 | 2010 | Wei-Ngan Chin |
| Computer Aided Verification: 21st International Conference, C.A.V. 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings | 978-3-642-02657-7 | 2009 | |
| Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th ... Notes in Computer Science, Band 10321) | 978-3-319-60224-0 | 2017 | Alexandra Silva |
| Networked Systems: Third International Conference, NETYS 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers | 978-3-319-26849-1 | 2016 | Hugues Fauconnier |
| Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings | 978-3-319-52233-3 | 2017 | David Monniaux |
A. B. · Ahmed Bouzzine · Ahmet Bican · Amit Bhasin · Andy Bossom · Andy Buchan · Aneta Bazan · Anethea Bazin · Annette Béguin · Annette Bigham · Anthea Bazin