@misc{indiciae12f9fa607666,
  title = {Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0},
  author = {Sean Kim and Marcus Edwards},
  year = {2025},
  doi = {10.21105/joss.08696},
  url = {https://arxiv.org/abs/2412.12578},
  note = {Source identifier: 2412.12578}
}