Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

MLA

Shankaranarayanan, Krishna, Sriram Sankaranarayanan, and Ashutosh Trivedi. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, Vmcai 2025, Denver, Co, Usa, January 20-21, 2025, Proceedings, Part Ii. Cham: Springer, 2025.

APA

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. Cham: Springer.

Chicago

Shankaranarayanan, Krishna., Sriram Sankaranarayanan, and Ashutosh Trivedi. Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II. Cham: Springer, 2025.