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 editionAlexandra Silva, K. Rustan M. Leino, Alexandra Silva, & K. Rustan M. Leino. (2021). Computer Aided Verification.
Modern Language Association 9th editionAlexandra 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.