Back to Record

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.

APA Citation

Langley Research Center. (1985). Peer review of a formal verification/design proof methodology: summary of a sub-working-group meeting. Washington, D.C.: National Aeronautics and Space Administration, Scientific and Technical Information Branch .

MLA Citation

Langley Research Center. Peer Review of a Formal Verification/design Proof Methodology: Summary of a Sub-working-group Meeting. Washington, D.C.: National Aeronautics and Space Administration, Scientific and Technical Information Branch , 1985.

Warning: These citations may not always be complete (especially for serials).

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.

APA Citation

MLA Citation

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.