# Orna Grumberg

Canonical: https://www.bookquiver.com/orna-grumberg

- Books: 1
- Language: 1

## Books

- [Model Checking, second edition](https://www.bookquiver.com/orna-grumberg/model-checking-second-edition) — 2018-12-04