@misc{indiciae77fce4b66bc2,
  title = {Quantum Hoare logic with classical variables},
  author = {Yuan Feng and Mingsheng Ying},
  year = {2021},
  doi = {10.1145/3456877},
  url = {https://arxiv.org/abs/2008.06812},
  note = {Source identifier: 2008.06812}
}