Cite Them Right 11th edition - Harvard

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 II [cd]. [Erscheinungsort nicht ermittelbar]: Springer Nature.

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 II. Cd. [Erscheinungsort nicht ermittelbar]: Springer Nature, [2021?], [Erscheinungsort nicht ermittelbar]: Springer Nature, [2021?].

American Psychological Association 7th edition

Silva, A., … Leino, K. R. M. (Hrsg.). (ca. 2021). Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II [Cd]. Springer Nature.

Modern Language Association 9th edition

Silva, A., und K. R. M. Leino, Herausgeber. Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. cd, Springer Nature, 2021.

ISO-690 (author-date, Deutsch)

SILVA, Alexandra und K. Rustan M. LEINO (Hrsg.). [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783030816889

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.