The development of a program analysis environment for Ada [electronic resource] / David B. Brown.
Imprint
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]