# Edmund M. Clarke, Jr.

Canonical: https://www.bookquiver.com/edmund-m-clarke-jr

- Books: 1
- Language: 1

## Books

- [Model Checking, second edition](https://www.bookquiver.com/edmund-m-clarke-jr/model-checking-second-edition) — 2018-12-04