APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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