Murthy, S.G.K., Defence Research & Development Laboratory, Hyderabad – 500 058, India

• Defence Science Journal Vol 59 No 3 - Short Communication
  Software Reliability through Theorem Proving
  Abstract  PDF