@misc{indiciae976cf8313547,
  title = {Formal Verification of Quantum Programs: Theory, Tools and Challenges},
  author = {Marco Lewis and Sadegh Soudjani and Paolo Zuliani},
  year = {2022},
  doi = {10.1145/3624483},
  url = {https://arxiv.org/abs/2110.01320},
  note = {Source identifier: 2110.01320}
}