APA (7th ed.) Citation

International Conference on Computer-Aided Verification Montreal, Gurfinkel, A., & Ganesh, V. (2024). Computer aided verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : proceedings, part III (1st ed. 2024.). Springer. https://doi.org/10.1007/978-3-031-65633-0

Chicago Style (17th ed.) Citation

International Conference on Computer-Aided Verification Montreal, Arie Gurfinkel, and Vijay Ganesh. Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : Proceedings, Part III. 1st ed. 2024. Cham, Switzerland: Springer, 2024. https://doi.org/10.1007/978-3-031-65633-0.

MLA (9th ed.) Citation

International Conference on Computer-Aided Verification Montreal, et al. Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024 : Proceedings, Part III. 1st ed. 2024. Springer, 2024. https://doi.org/10.1007/978-3-031-65633-0.