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.

Description

Related Names

Langley Research Center.

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

Viewability