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