Gurfinkel, A. und Ganesh, V. (Hrsg.) (2024) Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III [cd]. 1 st ed. 2024, Lecture Notes in Computer Science. 1 st ed. 2024. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-65633-0.
Chicago Manual of Style 17th edition (full note)Gurfinkel, Arie, und Vijay Ganesh, Hrsg. Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. Cd. Lecture Notes in Computer Science. 1 st ed. 2024. Cham: Springer Nature Switzerland, [2024?], Cham: Springer Nature Switzerland, [2024?]. https://doi.org/10.1007/978-3-031-65633-0.
American Psychological Association 7th editionComputer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III. (ca. 2024). [Cd]. In A. Gurfinkel & V. Ganesh (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2024). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-65633-0
Modern Language Association 9th editionGurfinkel, A., und V. Ganesh, Herausgeber. „Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III“. Lecture Notes in Computer Science, 1 st ed. 2024, cd, Springer Nature Switzerland, 2024, https://doi.org/10.1007/978-3-031-65633-0.
ISO-690 (author-date, Deutsch)GURFINKEL, Arie und Vijay GANESH (Hrsg.). 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031656330