Cite Them Right 11th edition - Harvard

Alexandra Silva, K. Rustan M. Leino, Alexandra Silva and K. Rustan M. Leino (2021) Computer Aided Verification.

Chicago Manual of Style 17th edition (full note)

Alexandra Silva, K. Rustan M. Leino, Alexandra Silva, and K. Rustan M. Leino. Computer Aided Verification.

American Psychological Association 7th edition

Alexandra Silva, K. Rustan M. Leino, Alexandra Silva, & K. Rustan M. Leino. (2021). Computer Aided Verification.

Modern Language Association 9th edition

Alexandra Silva, K. Rustan M. Leino, Alexandra Silva, and K. Rustan M. Leino. Computer Aided Verification. 2021.

ISO-690 (author-date, Deutsch)

ALEXANDRA SILVA, K. RUSTAN M. LEINO, ALEXANDRA SILVA and K. RUSTAN M. LEINO, 2021. Computer Aided Verification

Warning: These citations may not always be 100% accurate.