APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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