View in EDS HTML Full Text PDF Full Text

Software Reliability through Theorem Proving.

Saved in:
Bibliographic Details
Title: Software Reliability through Theorem Proving.
Authors: Murthy, S. G. K., Sekharam, K. Raja
Source: Defence Science Journal; May 2009, Vol. 59 Issue 3, p314-317, 4p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:0011748X