TY  - RPRT
TI  - Hoare Logic for Quantum Programs
AU  - Mingsheng Ying
PY  - 2009
UR  - https://arxiv.org/abs/0906.4586
ID  - 0906.4586
ER  -