TY  - RPRT
TI  - Toward Automatic Verification of Quantum Programs
AU  - Mingsheng Ying
PY  - 2018
DO  - 10.1007/s00165-018-0465-3
UR  - https://arxiv.org/abs/1807.11610
ID  - 1807.11610
ER  -