Enea, C. und Lal, A. (Hrsg.) (2023) Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III [cd]. 1 st ed. 2023, Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland. doi:10.1007/978-3-031-37709-9.
Chicago Manual of Style 17th edition (full note)Enea, Constantin, und Akash Lal, Hrsg. Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. Cd. Lecture Notes in Computer Science. 1 st ed. 2023. Cham: Springer Nature Switzerland, [2023?], Cham: Springer Nature Switzerland, [2023?]. https://doi.org/10.1007/978-3-031-37709-9.
American Psychological Association 7th editionComputer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. (ca. 2023). [Cd]. In C. Enea & A. Lal (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2023). Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-37709-9
Modern Language Association 9th editionEnea, C., und A. Lal, Herausgeber. „Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III“. Lecture Notes in Computer Science, 1 st ed. 2023, cd, Springer Nature Switzerland, 2023, https://doi.org/10.1007/978-3-031-37709-9.
ISO-690 (author-date, Deutsch)ENEA, Constantin und Akash LAL (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031377099