MURTHY, S.; SEKHARAM, K. R. Software Reliability through Theorem Proving. Defence Science Journal, [S. l.], v. 59, n. 3, p. 314–317, 2009. DOI: 10.14429/dsj.59.1527. Disponível em: https://publications.drdo.gov.in/ojs/index.php/dsj/article/view/1527. Acesso em: 7 jul. 2025.