Murthy S, Sekharam KR. Software Reliability through Theorem Proving. DSJ [Internet]. 1May2009 [cited 8May2024];59(3):314-7. Available from: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/1527