[FengHTZ15] QPMC: A Model Checker for Quantum Programs and Protocols Feng, Y.; Hahn, E. M.; Turrini, A. and Zhang, L. In Twentieth international symposium of the Formal Methods Europe association (FM), pages 265-272, Springer, Lecture Notes in Computer Science 9109, 2015.
Downloads: pdf, bib