APA (7th ed.) Citation

Su, B., Zhou, L., Feng, Y., & Ying, M. (2024). BI-based Reasoning about Quantum Programs with Heap Manipulations.

Chicago Style (17th ed.) Citation

Su, Bonan, Li Zhou, Yuan Feng, and Mingsheng Ying. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.

MLA (9th ed.) Citation

Su, Bonan, et al. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.