Murthy, S. and Sekharam, K.R. 2009. Software Reliability through Theorem Proving. Defence Science Journal. 59, 3 (May 2009), 314-317. DOI:https://doi.org/10.14429/dsj.59.1527.