# Kim Guldstrand Larsen

Canonical: https://www.bookquiver.com/kim-guldstrand-larsen

- Books: 1
- Language: 1

## Books

- [Principles of Model Checking](https://www.bookquiver.com/kim-guldstrand-larsen/principles-of-model-checking) — 2008-04-25