GURFINKEL, Arie und GANESH, Vijay (Hrsg.). 1 st ed. 2024. Cham: Springer Nature Switzerland. ISBN 9783031656330.
Elsevier - Harvard (with titles)Gurfinkel, A., Ganesh, V. (Hrsg.), 2024. Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III, 1 st ed. 2024. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. 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
Springer - Basic (author-date)Gurfinkel A, Ganesh V (Hrsg.) (2024) Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III, 1 st ed. 2024. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Gurfinkel, Arie/ Ganesh, Vijay (Hrsg.), Computer Aided Verification : 36 th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III, 1 st ed. 2024 , Cham 2024.