Principles of Model Checking

2026-07-29

Author

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

Shelf

Maths

← Reading list