Cite Them Right 11th edition - Harvard

Silva, A. und Leino, K.R.M. (2021) Computer Aided Verification ; 978-3-030-81685-8.pdf. Springer Nature&Springer.

Chicago Manual of Style 17th edition (full note)

Silva, Alexandra, und K. Rustan M. Leino. Computer Aided Verification ; 978-3-030-81685-8.pdf. Springer Nature Springer, 2021, Springer Nature&Springer, 2021.

American Psychological Association 7th edition

Silva, A., & Leino, K. R. M. (2021). Computer Aided Verification ; 978-3-030-81685-8.pdf. Springer Nature&Springer.

Modern Language Association 9th edition

Silva, A., und K. R. M. Leino. Computer Aided Verification ; 978-3-030-81685-8.pdf. Springer Nature&Springer, 2021.

ISO-690 (author-date, Deutsch)

SILVA, Alexandra und K. Rustan M. LEINO, 2021. Computer Aided Verification ; 978-3-030-81685-8.pdf. Springer Nature Springer. ISBN 978-1-261-89677-9978-3-030-81685-81-261-89677-7&3-030-81685-0

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