TY  - RPRT
TI  - Efficient Formal Verification of Quantum Error Correcting Programs
AU  - Qifan Huang
AU  - Li Zhou
AU  - Wang Fang
AU  - Mengyu Zhao
AU  - Mingsheng Ying
PY  - 2025
DO  - 10.1145/3729293
UR  - https://arxiv.org/abs/2504.07732
ID  - 2504.07732
ER  -