SpringerLink (Online service), Shankaranarayanan, K., Sankaranarayanan, S., & Trivedi, A. (2025). Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II (1st ed. 2025.). Springer Nature Switzerland : Imprint: Springer. https://doi.org/10.1007/978-3-031-82703-7
Cytowanie według stylu Chicago (wyd. 17)SpringerLink (Online service), Krishna Shankaranarayanan, Sriram Sankaranarayanan, i Ashutosh Trivedi. Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II. 1st ed. 2025. Cham: Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-82703-7.
Cytowanie według stylu MLA (wyd. 9)SpringerLink (Online service), et al. Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II. 1st ed. 2025. Springer Nature Switzerland : Imprint: Springer, 2025. https://doi.org/10.1007/978-3-031-82703-7.