@misc{indiciae593755e9913d,
  title = {Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation},
  author = {Benjamin Bichsel and Anouk Paradis and Maximilian Baader and Martin Vechev},
  year = {2023},
  doi = {10.22331/q-2023-11-20-1185},
  url = {https://arxiv.org/abs/2304.00921},
  note = {Source identifier: 2304.00921}
}