SHOHAM, Sharon und VIZEL, Yakir (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783031131882.
Elsevier - Harvard (with titles)Shoham, S., Vizel, Y. (Hrsg.), 2022. Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II, 1 st ed. 2022. ed, Lecture Notes in Computer Science. Springer International Publishing, Cham. https://doi.org/10.1007/978-3-031-13188-2
American Psychological Association 7th editionComputer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. (ca. 2022). [Cd]. In S. Shoham & Y. Vizel (Hrsg.), Lecture Notes in Computer Science (1 st ed. 2022). Springer International Publishing. https://doi.org/10.1007/978-3-031-13188-2
Springer - Basic (author-date)Shoham S, Vizel Y (Hrsg.) (2022) Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II, 1 st ed. 2022. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Shoham, Sharon/ Vizel, Yakir (Hrsg.), Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II, 1 st ed. 2022 , Cham 2022.