Shoham, S. und Vizel, Y. (Hrsg.) (2022) Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II [cd]. 1 st ed. 2022, Lecture Notes in Computer Science. 1 st ed. 2022. Cham: Springer International Publishing. doi:10.1007/978-3-031-13188-2.
Chicago Manual of Style 17th edition (full note)Shoham, Sharon, und Yakir Vizel, Hrsg. Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II. Cd. Lecture Notes in Computer Science. 1 st ed. 2022. Cham: Springer International Publishing, [2022?], Cham: Springer International Publishing, [2022?]. 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
Modern Language Association 9th editionShoham, S., und Y. Vizel, Herausgeber. „Computer Aided Verification : 34 th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II“. Lecture Notes in Computer Science, 1 st ed. 2022, cd, Springer International Publishing, 2022, https://doi.org/10.1007/978-3-031-13188-2.
ISO-690 (author-date, Deutsch)SHOHAM, Sharon und Yakir VIZEL (Hrsg.). 1 st ed. 2022. Cham: Springer International Publishing. ISBN 9783031131882