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 (1st ed. 2024.). Springer Nature Switzerland.

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. 1st ed. 2024. Cham: Springer Nature Switzerland, 2024.

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. 1st ed. 2024. Springer Nature Switzerland, 2024.