Book Review Committee


The aim of the Book Review Committee (BRC), instituted by Formal Methods Europe, is to provide to the formal methods community, and to the scientific community in general, high-quality reviews of books on topics of interest to the community.

Each review highlights the strengths and weaknesses of the book, both from the technical and the presentation point of view, to help researchers who are looking for reference texts in their areas of interest.

Reviews are selected by the BRC for publication on this website; some might also be referred to the editorial board of the Formal Aspects of Computing journal for possible possible publication in the journal (dependent on the positive opinion of the board). It is normally expected that a review’s author is named.

Whereas the BRC mostly selects the books to be reviewed, suggestions for possible books to be reviewed are welcome. Reviews are typically solicited by BRC members.


  • Tobias Nipkow and Gerwin Klein: Concrete Semantics with Isabelle/HOL [link]


Wan Fokkink (Vrije Universiteit Amsterdam, NL)\
Einar Broch Johnsen (University of Oslo, NO)\
Constance Heitmeyer (Naval Research Laboratory, US)\
Peter Gorm Larsen (Aarhus University, DK)\
Annabelle McIver (Macquarie University, AUS)\
Matteo Rossi (Politecnico di Milano, IT)


The Book Review Committee can be reached at the email address