Gaya APA

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

Gaya MLA

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