TY  - RPRT
TI  - Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
AU  - Gushu Li
AU  - Li Zhou
AU  - Nengkun Yu
AU  - Yufei Ding
AU  - Mingsheng Ying
AU  - Yuan Xie
PY  - 2020
UR  - https://arxiv.org/abs/1911.12855
ID  - 1911.12855
ER  -