Title: Model-Checking Quantum Systems
Subjects: Mathematics