@misc{indiciae2dea2e3578c2,
  title = {Automated Verification of Silq Quantum Programs using SMT Solvers},
  author = {Marco Lewis and Paolo Zuliani and Sadegh Soudjani},
  year = {2024},
  doi = {10.1109/qsw62656.2024.00027},
  url = {https://arxiv.org/abs/2406.03119},
  note = {Source identifier: 2406.03119}
}