The development of a program analysis environment for Ada
By: David B. Brown.
Contributors: United States. National Aeronautics and Space Administration.
Series: NASA-CR -- 185860.; NASA contractor report -- NASA CR-185860.
Publisher: College of Engineering & Engineering Experiment Station, Auburn University; National Aeronautics and Space Administration; National Technical Information Service, distributor
Published: 1989
Place of publication: Auburn, Ala; [Washington, DC; Springfield, Va
Language: eng
Format: Microform
Subjects: Ada (Programming language); Computer programs.; Program verfication (Computers); Prototypes.; Software engineering.
Other titles: QUEST/Ada Query utility environment for software testing of Ada.
Notes: Also available via Internet from the NASA Technical Report Server web site. Address as of 7/12/05: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19900004646%5F1990004646.pdf ; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1990]. 2 microfiches.