Style de citation APA (7e éd.)

Sun, X., Su, X., Bian, X., & Cui, A. (2024). On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop.

Style de citation Chicago (17e éd.)

Sun, Xin, Xingchi Su, Xiaoning Bian, et Anran Cui. On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. 2024.

Style de citation MLA (9e éd.)

Sun, Xin, et al. On the Relative Completeness of Satisfaction-based Probabilistic Hoare Logic With While Loop. 2024.