The Book Quiver
Title, author, ISBN, series…
⌘ K
Sign in
Create an account
People
/
Joost-Pieter Katoen
JK
AUTHOR · REAL PERSON
Joost-Pieter Katoen
1
book
Follow
Add to shelf
1 language
→
1 country
→
All books
Series
Languages
Countries
Chronological
Publishers
Principles of Model Checking
The Book QuiverThe Book Quiver