Most Popular Books
- High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology)
- ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
- ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science)
- Engineering Trustworthy Software Systems: 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures (Lecture Notes in Computer Science, 12154)
