Kim, S., & Edwards, M. (2025). Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0. Journal of Open Source Software, 10(113), 8696. https://doi.org/10.21105/joss.08696