, Defence Research & Development Laboratory, Hyderabad – 500 058, India

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