Title: The development of a program analysis environment for Ada
First published: 1989
Subjects: Computer programs, Ada (Programming language), Program verfication (Computers), Software engineering, Prototypes