Most Popular Books
- Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
- Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence)
- 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
