TY  - RPRT
TI  - Quantum Hoare logic with classical variables
AU  - Yuan Feng
AU  - Mingsheng Ying
PY  - 2021
DO  - 10.1145/3456877
UR  - https://arxiv.org/abs/2008.06812
ID  - 2008.06812
ER  -