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