Silva, A. und Leino, K.R.M. (Hrsg.) (2021) Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I [cd]. 1 st ed. 2021, Theoretical Computer Science and General Issues. 1 st ed. 2021. Cham: Springer International Publishing. doi:10.1007/978-3-030-81685-8.
Chicago Manual of Style 17th edition (full note)Silva, Alexandra, und K. Rustan M. Leino, Hrsg. Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2021. Cham: Springer International Publishing, [2021?], Cham: Springer International Publishing, [2021?]. https://doi.org/10.1007/978-3-030-81685-8.
American Psychological Association 7th editionComputer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I. (ca. 2021). [Cd]. In A. Silva & K. R. M. Leino (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2021). Springer International Publishing. https://doi.org/10.1007/978-3-030-81685-8
Modern Language Association 9th editionSilva, A., und K. R. M. Leino, Herausgeber. „Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I“. Theoretical Computer Science and General Issues, 1 st ed. 2021, cd, Springer International Publishing, 2021, https://doi.org/10.1007/978-3-030-81685-8.
ISO-690 (author-date, Deutsch)SILVA, Alexandra und K. Rustan M. LEINO (Hrsg.). 1 st ed. 2021. Cham: Springer International Publishing. ISBN 9783030816858