| title | | ISBN-13 | year of publica-
tion | other author(s) |
|---|
| 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, Organised by BCS-FACS, London, 8-10 January 1992 | | 978-3-540-19752-2 | 1993 | Roger C. Shaw · Tim Denvir |
| Case Studies in Systematic Software Development | | 978-0-13-116088-0 | 1990 |
| Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers | | 978-3-540-25813-1 | 2009 | Ali E. Abdallah · Jeff W. Sanders |
| FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, ... | | 978-3-540-63533-8 | 1997 | John Fitzgerald · Peter Lucas |
| Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays | | 978-3-540-75220-2 | 2007 | Zhiming Liu · Jim Woodcock |
| Methods, Models and Tools for Fault Tolerance | | 978-3-642-00866-5 | 2009 | Michael Butler · Alexander Romanovsky · Elena Troubitsyna |
| Software Development: A Rigorous Approach | | 978-0-13-821884-3 | 1980 |
| Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective | | 978-1-84628-110-5 | 2006 | Denis Besnard · Cristina Gacek |
| Systematic Software Development Using Vdm | | 978-0-13-880733-7 | 1990 |
| Systematic Software Development Using V. D. M. | | 978-0-13-880717-7 | 1986 |
| Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings | | 978-3-540-75290-5 | 2007 | Zhiming Liu · Jones Woodcock |
| VDM | | 978-2-225-82812-6 | 1997 |