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.

Description
Physical Description:	viii, 48 pages : illustrations ; 28 cm.
Bibliography:	Includes bibliographical references (page 48).