Most Popular Books
- Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Adv
- A Process Algebraic Approach to Software Architecture Design
- Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Italy, June 16-20, 2014, Advanced Lectures
- Formal Methods for Hardware Verification: 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems SFM 2006
- Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
