Model Checking Quantum Systems - Ying, Mingsheng (Cambridge Univ Press, 2021)
Keywords: Computer Science