APA (7th ed.) Citation

VMCAI London, Dimitrova, R., Lahav, O., & Wolff, S. (2024). Verification, model checking, and abstract interpretation: 25th international conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, proceedings, part I. Springer. https://doi.org/10.1007/978-3-031-50524-9

Chicago Style (17th ed.) Citation

VMCAI London, Rayna Dimitrova, Ori Lahav, and Sebastian Wolff. Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-50524-9.

MLA (9th ed.) Citation

VMCAI London, et al. Verification, Model Checking, and Abstract Interpretation: 25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I. Springer, 2024. https://doi.org/10.1007/978-3-031-50524-9.