@misc{indiciaee28c46dfc28e,
  title = {QbC: Quantum Correctness by Construction},
  author = {Anurudh Peduri and Ina Schaefer and Michael Walter},
  year = {2025},
  url = {https://arxiv.org/abs/2307.15641},
  note = {Source identifier: 2307.15641}
}