Peer review of a formal verification/design proof methodology : summary of a sub-working-group meeting /

Bibliographic Details
Corporate Author:	Langley Research Center
Format:	Government Document Book
Language:	English
Published:	Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.
Series:	NASA conference publication ; 2377.
Subjects:	Fault-tolerant computing > Congresses. Computer software > Verification > Congresses. System design > Congresses. Computer software > Verification. Fault-tolerant computing. System design. Conference papers and proceedings.

Remote Storage