Langley Research Center. (1985). Peer review of a formal verification/design proof methodology: Summary of a sub-working-group meeting. National Aeronautics and Space Administration, Scientific and Technical Information Branch.
Chicago Style (17th ed.) CitationLangley 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.
MLA (9th ed.) CitationLangley Research Center. Peer Review of a Formal Verification/design Proof Methodology: Summary of a Sub-working-group Meeting. National Aeronautics and Space Administration, Scientific and Technical Information Branch, 1985.
Warning: These citations may not always be 100% accurate.