# nLab Mingsheng Ying

Selected writings

## Selected writings

• Mingsheng Ying, Model Checking for Verification of Quantum Circuits, in: Formal Methods. FM 2021, Lecture Notes in Computer Science 13047, Springer (2021) $[$arXiv:2104.11359, doi:10.1007/978-3-030-90870-6_2$]$

• Mingsheng Ying, Zhengfeng Ji, Symbolic Verification of Quantum Circuits, $[$arXiv:2010.03032$]$

and introducing the quantum programming language CoqQ:

category: people

Last revised on November 12, 2022 at 09:54:44. See the history of this page for a list of all contributions to it.