Model checking quantum systems : principles and algorithms - Ying, Mingsheng (Cambridge, UK ; New York: Cambridge University Press, 2020)
Keywords: Quantum computing; Computer systems -- -- Verification; Electronic books