Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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