Original language | English |
---|---|
Title of host publication | Towards a Formal Description of Ada |
Publisher | Springer Berlin Heidelberg |
Publication date | 1980 |
Pages | 309-432 |
ISBN (Electronic) | 978-3-540-38415-1 |
Publication status | Published - 1980 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 98 |
ISSN | 0302-9743 |