SILVA, Alexandra und LEINO, K. Rustan M. (Hrsg.). 1 st ed. 2021. Cham: Springer International Publishing. ISBN 9783030816858.
Elsevier - Harvard (with titles)Silva, A., Leino, K.R.M. (Hrsg.), 2021. Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, 1 st ed. 2021. ed, Theoretical Computer Science and General Issues. Springer International Publishing, Cham. 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
Springer - Basic (author-date)Silva A, Leino KRM (Hrsg.) (2021) Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, 1 st ed. 2021. Springer International Publishing, Cham
Juristische Zitierweise (Stüber) (Deutsch)Silva, Alexandra/ Leino, K. Rustan M. (Hrsg.), Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, 1 st ed. 2021 , Cham 2021.