Title: NASA software engineering benchmarking study
Subjects: Program verification (computers), Software engineering, Computer programming, Standards, Systems management, Computer systems programs, Aerospace industry, Software reliability