Welcome to the Kids' Library!

The development of a program analysis environment for Ada

Brown, David B., 1943-
Auburn, Ala. : College of Engineering & Engineering Experiment Station, Auburn University ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1989] 1989

Automated verification of specifications with typestates and access permissions

Siminiceanu, Radu I.
Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [2011] 2011

Development of a flight software testing methodology final report

McCluskey, Edward J., 1929-
Stanford, Calif. : Center for Reliable Computing, Stanford University ; [Washington, D.C. : National Aeronautics and Space Administration, 1985] 1985