ANNA, a language for annotating ADA programs : reference manual /

Bibliographic Details

Other Authors:	Luckham, David C.
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1987]
Series:	Lecture notes in computer science ; 260.
Subjects:	ANNA (Computer program language) Ada (Computer program language)