Lahiri. (2020). Computer Aided Verification (1.). Springer International Publishing.
Lua i Stíl Chicago (17ú heag.)Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.
Lua MLA (8ú heag.)Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.