| 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 | 1992 | Cliff B. Jones · Roger C. Shaw |
| FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. ... Notes in Computer Science , Band 873) | | 978-3-540-58555-8 | 2008 | Maurice Naftalin · Miquel Bertran |
| Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24-28, 1994: Proc | | 978-0-387-58555-0 | 1994 | spai International Symposium of Formal Methods Europe 1994 Barcelona · Maurice Naftalin |
| Formal Aspects of Measurement: "Proceedings Of The Bcs-Facs Workshop On Formal Aspects Of Measurement, South Bank University, London, 5 May 1991" | | 978-3-540-19788-1 | 2013 |
| Formal Aspects of Measurement: Proceedings of the Bcs-Facs Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 | | 978-0-387-19788-3 | 1992 | Ros Herman |
| Introduction to Discrete Mathematics for Software Engineering | | 978-0-02-948921-5 | 1987 |