Programming with specifications : an introduction to ANNA, a language for specifying Ada programs /

Bibliographic Details

Main Author:	Luckham, David C.
Format:	Book
Language:	English
Published:	New York : Springer-Verlag, [1990]
Series:	Texts and monographs in computer science.
Subjects:	ANNA (Computer program language) Ada (Computer program language)