@misc{indiciae0d87c2ed467c,
  title = {Qafny: A Quantum-Program Verifier},
  author = {Liyi Li and Mingwei Zhu and Rance Cleaveland and Alexander Nicolellis and Yi Lee and Le Chang and Xiaodi Wu},
  year = {2024},
  url = {https://arxiv.org/abs/2211.06411},
  note = {Source identifier: 2211.06411}
}