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