APA (7th ed.) Citation

Chen, Y., Chung, K., Hsieh, M., Huang, W., Lengál, O., Lin, J., & Tsai, W. (2024). AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report).

Chicago Style (17th ed.) Citation

Chen, Yu-Fang, Kai-Min Chung, Min-Hsiu Hsieh, Wei-Jia Huang, Ondřej Lengál, Jyun-Ao Lin, and Wei-Lun Tsai. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report). 2024.

MLA (9th ed.) Citation

Chen, Yu-Fang, et al. AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report). 2024.