APA Style

Silva, A., Leino, K, R, M. (2021). Computer Aided Verification (1st ed. 2021). : Springer International Publishing.

MLA Style

Silva, Alexandra., Leino, K., Rustan, M.. "Computer Aided Verification". 1st ed. 2021 : Springer International Publishing, 2021. Electronic Resource.