Title: Software formal inspection standard
Subjects: Computer programs, Testing, Standards, United States. National Aeronautics and Space Administration
Places: United States