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
Events
Upcoming Events
FM Symposia
FormaliSE
Code of Conduct
FME Awards
About FME
Formal Methods
Events
FME Awards
brc
Book Review: Verified Functional Programming in Agda
2023-06-15
Book Review: Principles of Cyber-Physical Systems
2023-03-22
Book Review: Functional Algorithms, Verified!
2022-12-02
Book review: Decision Procedures – An Algorithmic Point of View
2022-06-14
Book review: Formal Methods: an appetizer
2022-03-18
Book review: Modelling and Verification of Secure Exams
2021-10-29
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
Next »