ENEA, Constantin und LAL, Akash (Hrsg.). 1 st ed. 2023. Cham: Springer Nature Switzerland. ISBN 9783031377099.
Elsevier - Harvard (with titles)Enea, C., Lal, A. (Hrsg.), 2023. Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III, 1 st ed. 2023. ed, Lecture Notes in Computer Science. Springer Nature Switzerland, Cham. 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
Springer - Basic (author-date)Enea C, Lal A (Hrsg.) (2023) Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III, 1 st ed. 2023. Springer Nature Switzerland, Cham
Juristische Zitierweise (Stüber) (Deutsch)Enea, Constantin/ Lal, Akash (Hrsg.), Computer Aided Verification : 35 th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III, 1 st ed. 2023 , Cham 2023.