TY  - RPRT
TI  - Symbolic Execution for Quantum Error Correction Programs
AU  - Wang Fang
AU  - Mingsheng Ying
PY  - 2024
DO  - 10.1145/3656419
UR  - https://arxiv.org/abs/2311.11313
ID  - 2311.11313
ER  -