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 III (1.). Springer Nature. https://doi.org/10.1007/978-3-031-65633-0

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 III. 1. Cham: Springer Nature, 2024. https://doi.org/10.1007/978-3-031-65633-0.

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 III. 1. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-65633-0.