Available Indexes

Peer review of a formal verification/design proof methodology :
summary of a sub-working-group meeting /
sponsored by NASA Langley Research Center and held at the Georgia Institute of Technology, Atlanta, Georgia, July 7-8, 1983.



Language(s): English
Published: Washington, D.C. : National Aeronautics and Space Administration, Scientific and Technical Information Branch ; 1985.
Subjects: System design > System design / Congresses.
Computer software > Computer software / Verification > Computer software / Verification / Congresses.
Fault-tolerant computing > Fault-tolerant computing / Congresses.
Physical Description: viii, 48 p. : ill. ; 28 cm.
Locate a Print Version: Find in a library
Find in a library


Item Link Original Source
Full view University of California
View HathiTrust MARC record