Su, B., Zhou, L., Feng, Y., & Ying, M. (2024). BI-based Reasoning about Quantum Programs with Heap Manipulations.
Citazione stile Chigago Style (17a edizione)Su, Bonan, Li Zhou, Yuan Feng, e Mingsheng Ying. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.
Citatione MLA (9a ed.)Su, Bonan, et al. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.