APA (7th ed.) Citation

Sun, X., Su, X., Bian, X., & Wu, H. (2024). On the Relative Completeness of Satisfaction-based Quantum Hoare Logic.

Chicago Style (17th ed.) Citation

Sun, Xin, Xingchi Su, Xiaoning Bian, and Huiwen Wu. On the Relative Completeness of Satisfaction-based Quantum Hoare Logic. 2024.

MLA (9th ed.) Citation

Sun, Xin, et al. On the Relative Completeness of Satisfaction-based Quantum Hoare Logic. 2024.