Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.
Chicago-viite (17. p.)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
MLA-viite (8. p.)Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.