Su, B., Zhou, L., Feng, Y., & Ying, M. (2024). BI-based Reasoning about Quantum Programs with Heap Manipulations.
Style de citation Chicago (17e éd.)Su, Bonan, Li Zhou, Yuan Feng, et Mingsheng Ying. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.
Style de citation MLA (9e éd.)Su, Bonan, et al. BI-based Reasoning About Quantum Programs with Heap Manipulations. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.