TY  - RPRT
TI  - QbC: Quantum Correctness by Construction
AU  - Anurudh Peduri
AU  - Ina Schaefer
AU  - Michael Walter
PY  - 2025
UR  - https://arxiv.org/abs/2307.15641
ID  - 2307.15641
ER  -