# Joost-Pieter Katoen

Canonical: https://www.bookquiver.com/joost-pieter-katoen

- Books: 1
- Language: 1

## Books

- [Principles of Model Checking](https://www.bookquiver.com/joost-pieter-katoen/principles-of-model-checking) — 2008-04-25