APA-Zitierstil (7. Ausg.)

Huang, Q., Zhou, L., Fang, W., Zhao, M., & Ying, M. (2025). Efficient Formal Verification of Quantum Error Correcting Programs.

Chicago-Zitierstil (17. Ausg.)

Huang, Qifan, Li Zhou, Wang Fang, Mengyu Zhao, und Mingsheng Ying. Efficient Formal Verification of Quantum Error Correcting Programs. 2025.

MLA-Zitierstil (9. Ausg.)

Huang, Qifan, et al. Efficient Formal Verification of Quantum Error Correcting Programs. 2025.