TY  - RPRT
TI  - A Practical Quantum Hoare Logic with Classical Variables, I
AU  - Mingsheng Ying
PY  - 2026
DO  - 10.1016/j.ic.2026.105417
UR  - https://arxiv.org/abs/2412.09869
ID  - 2412.09869
ER  -