| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| B 2007: Formal Specification and Development in B: 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings | 978-3-540-68760-3 (3-540-68760-2) | 2007 | |
| Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings | 978-3-642-30472-9 (3-642-30472-9) | 2012 | Achim Brucker |