Towards a formal description of Ada
By: edited by D. Bjørner and O. N. Oest.
Contributors: Bjørner, D. 1937-; Oest, O. N.
Series: Lecture notes in computer science -- 98
Publisher: Springer-Verlag
Published: 1980
Place of publication: Berlin
Language: eng
Number of pages: 630
Subjects: Ada (Computer program language)
Notes: Bibliography: p. 626-630.