TY  - RPRT
TI  - Formal Verification of Quantum Ancilla Safety
AU  - Jiqi Li
AU  - Jingyi Mei
AU  - Wang Fang
AU  - Ji Guan
PY  - 2026
DO  - 10.1007/978-3-032-32537-2_16
UR  - https://arxiv.org/abs/2608.13099
ID  - 2608.13099
ER  -