The development of a program analysis environment for Ada /

Bibliographic Details
Main Author:	Brown, David B., 1943-
Corporate Author:	United States. National Aeronautics and Space Administration
Format:	Government Document Book
Language:	English
Published:	Auburn, Ala. : [Washington, DC] : College of Engineering & Engineering Experiment Station, Auburn University ; [National Aeronautics and Space Administration] ; [1989]
Series:	NASA contractor report ; NASA CR-185860.
Subjects:	Ada (Programming language) Computer programs. Program verfication (Computers) Prototypes. Software engineering.
Online Access:	https://purl.fdlp.gov/GPO/LPS61600

Description
Item Description:	Microform.
Physical Description:	1 volume 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.