Model Checking Quantum Systems | 9781108484305 | Memmo