APA (7th ed.) Citation

Brock, B., & Hunt, W. A. (1991). Report on the formal specification and partial verification of the VIPER microprocessor. National Aeronautics and Space Administration, Langley Research Center ; Computational Logic, Inc..

Chicago Style (17th ed.) Citation

Brock, Bishop, and Warren A. Hunt. Report on the Formal Specification and Partial Verification of the VIPER Microprocessor. Hampton, Va. : Austin, Texas: National Aeronautics and Space Administration, Langley Research Center ; Computational Logic, Inc., 1991.

MLA (9th ed.) Citation

Brock, Bishop, and Warren A. Hunt. Report on the Formal Specification and Partial Verification of the VIPER Microprocessor. National Aeronautics and Space Administration, Langley Research Center ; Computational Logic, Inc., 1991.