APA (7th ed.) Citation

Cofer, D., & Miller, S. P. (2014). Formal methods case studies for DO-333. National Aeronautics and Space Administration, Langley Research Center.

Chicago Style (17th ed.) Citation

Cofer, Darren, and Steven P. Miller. Formal Methods Case Studies for DO-333. Hampton, Virginia: National Aeronautics and Space Administration, Langley Research Center, 2014.

MLA (9th ed.) Citation

Cofer, Darren, and Steven P. Miller. Formal Methods Case Studies for DO-333. National Aeronautics and Space Administration, Langley Research Center, 2014.