@misc{indiciaebf710a1197d0,
  title = {Proving Quantum Programs Correct},
  author = {Kesha Hietala and Robert Rand and Shih-Han Hung and Liyi Li and Michael Hicks},
  year = {2021},
  doi = {10.4230/lipics.itp.2021.21},
  url = {https://arxiv.org/abs/2010.01240},
  note = {Source identifier: 2010.01240}
}