Joost-Pieter Katoen Books

Principles of Model Checking