American Psychological Association 6th edition

Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II. [ca. 2021]. In A. Silva & K. R. M. Leino (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2021) [Cd]. Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-81688-9

ISO-690 (author-date, English)

SILVA, Alexandra und LEINO, K. Rustan M. (Hrsg.). 1 st ed. 2021. Cham: Springer International Publishing. ISBN 9783030816889.

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“. Theoretical Computer Science and General Issues, 1 st ed. 2021, cd, Springer International Publishing, 2021, https://doi.org/10.1007/978-3-030-81688-9.

Mohr Siebeck - Recht (Deutsch - Österreich)

: Computer Aided Verification : 33 rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II, 1 st ed. 2021. Aufl. Cham 2021.

Emerald - 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, Theoretical Computer Science and General Issues, 1 st ed. 2021., Bd. , Springer International Publishing, Cham, verfügbar unter:https://doi.org/10.1007/978-3-030-81688-9.

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