APA (7th ed.) Citation

Pan, J., Levitt, K. N., & Cohen, G. C. (1991). Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit. National Aeronautics and Space Administration, Langley Research Center.

Chicago Style (17th ed.) Citation

Pan, Jing, Karl N. Levitt, and G. C. Cohen. Toward a Formal Verification of a Floating-point Coprocessor and Its Composition with a Central Processing Unit. Hampton, Va.: National Aeronautics and Space Administration, Langley Research Center, 1991.

MLA (9th ed.) Citation

Pan, Jing, et al. Toward a Formal Verification of a Floating-point Coprocessor and Its Composition with a Central Processing Unit. National Aeronautics and Space Administration, Langley Research Center, 1991.