Murthy S, Sekharam KR. Software Reliability through Theorem Proving. Def. Sc. J. [Internet]. 2009 May 1 [cited 2025 Jul. 7];59(3):314-7. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/1527