Towards a Formal Description of Ada
Type
Book [Author]
Year
1980
Vol.
98
Publisher
S
Series
LNCS
BibTeX data
[bibtex]
IMM Group(s)
Computer Science & Engineering