Prentice Hall · Springer, Berlin
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| 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 (3-540-75220-X) | 2007 | Cliff B. Jones · Zhiming Liu | |
| Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings | 978-3-540-20461-9 (3-540-20461-X) | 2003 | Jin Song Dong | |
| Using Z: Specification, Refinement, and Proof | 978-0-13-948472-8 (0-13-948472-8) | 1996 | Jim Davies |