TY  - RPRT
TI  - Reasoning about Parallel Quantum Programs
AU  - Mingsheng Ying
AU  - Li Zhou
AU  - Yangjia Li
PY  - 2019
UR  - https://arxiv.org/abs/1810.11334
ID  - 1810.11334
ER  -