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