| 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 |