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.; United States. National Aeronautics and Space Administration. Scientific and Technical Information Branch.
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
Format: Microform
Number of pages: 48
Subjects: Fault-tolerant computing -- Congresses.; Computer software -- Verification -- Congresses.; System design -- Congresses.; Conferences.; Design analysis.; Proving.; Software engineering.
Genres: Congresses.
Notes: Includes bibliographical references (p. 48).

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1985] 1 microfiche : negative.