APA (7th ed.) Citation

Rushby, J., & Whitehurst, R. A. (1989). Formal verification of AI software. National Aeronautics and Space Administration, Langley Research Center.

Chicago Style (17th ed.) Citation

Rushby, John, and R. Alan Whitehurst. Formal Verification of AI Software. Hampton, Va.: National Aeronautics and Space Administration, Langley Research Center, 1989.

MLA (9th ed.) Citation

Rushby, John, and R. Alan Whitehurst. Formal Verification of AI Software. National Aeronautics and Space Administration, Langley Research Center, 1989.