Formal Methods Europe
About FME
What is FME?
Contact
Become A Member
Board Members
Advisory Board
Minutes
Documents
Committees
Awards Committee
Book Review Committee
Communications Committee
Industry Committee
Teaching Committee
Formal Methods
What are Formal Methods?
Choosing a Formal Method
FM Tool Support
FM Companies
Commercial FM Use
Events
Upcoming Events
FM Symposia
FormaliSE
FMTea
InFM
Code of Conduct
Code of Diversity
FME Awards
About FME
Committees
Formal Methods
Events
FME Awards
Brc
Book Review: Understanding Programming Languages
2024-10-01
Book Review: Program Proofs
2023-11-16
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
Next »