Computer Aided Verification

MLA

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

APA

Silva, A., & Leino, K. Rustan M. (2021). Computer Aided Verification. Springer International Publishing.

Chicago

Silva, Alexandra, and K. Rustan M Leino. Computer Aided Verification. : Springer International Publishing, 2021.