| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Integrated Formal Methods: 4th International Conference, Ifm 2004, Canterbury, UK, April 4-7, 2004, Proceedings | 978-3-540-21377-2 | 2004 | John Derrick · Graeme Smith | |
| Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings | 978-3-540-43857-1 | 2008 | Bernhard Möller | |
| Refinement in Z and Object-Z: Foundations and Advanced Applications | 978-1-4471-5356-6 | 2013 | John Derrick | |
| Refinement: Semantics, Languages and Applications | 978-3-319-92709-1 | 2018 | " |
A. B. · E.A. · E A B · E.B. · Eerke Boiten