Peer review of a formal verification/design proof methodology
Subtitle: summary of a sub-working-group meeting
By: sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.
Contributors: Langley Research Center.
Series: NASA conference publication ;; 2377
Publisher: National Aeronautics and Space Administration, Scientific and Technical Information Branch; For sale by National Technical Information Service
Published: 1985
Place of publication: Washington, D.C; Springfield, Va
Language: eng
Number of pages: 48
Subjects: Fault-tolerant computing -- Congresses.; Computer software -- Verification -- Congresses.; System design -- Congresses.
Notes: Bibliography: p. 48.