@article{poqprojectionbasedruntimeassertionsfor,
  title = {Proq: Projection-based Runtime Assertions for Debugging on a Quantum Computer},
  author = {Gushu Li and Li Zhou and Nengkun Yu and Yufei Ding and Mingsheng Ying and Yuan Xie},
  year = {2019},
  eprint = {1911.12855},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/1911.12855v2},
}