APA Style

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

MLA Style

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