APA Style

GURFINKEL, A., GANESH, V. (2024). Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II (1). Zurich, Switzerland: Springer International Publishing.

MLA Style

GURFINKEL, Arie., GANESH, Vijay. "Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II". 1 Zurich, Switzerland: Springer International Publishing, 2024. Text.