Formal Methods Europe
About FME
Contact
Become A Member
Board Members
Advisory Board
Awards Committee
Book Review Committee
Communications Committee
Industry Committee
Teaching Committee
Minutes
Documents
Formal Methods
Choosing a Formal Method
Symposia
FME Awards
Upcoming Conferences
About FME
Formal Methods
Symposia
FME Awards
Upcoming Conferences
bookreviews
Book review: Logical Analysis of Hybrid Systems
2020-11-24
Book review: Contracts for System Design
2020-10-30
Book review: Modeling and Analysis of Communicating Systems
2020-10-20
Book review: Concrete Semantics with Isabelle/HOL
2020-03-07
Book Review Committee
2017-10-02