Siminiceanu, R. I., Miner, P. S., & Person, S. (2011). A methodology for evaluating artifacts produced by a formal verification process. National Aeronautics and Space Administration, Langley Research Center.
Chicago Style (17th ed.) CitationSiminiceanu, Radu I., Paul S. Miner, and Suzette Person. A Methodology for Evaluating Artifacts Produced by a Formal Verification Process. Hampton, Va.: National Aeronautics and Space Administration, Langley Research Center, 2011.
MLA (9th ed.) CitationSiminiceanu, Radu I., et al. A Methodology for Evaluating Artifacts Produced by a Formal Verification Process. National Aeronautics and Space Administration, Langley Research Center, 2011.
Warning: These citations may not always be 100% accurate.