Ada As a Specification Language for Interactive Systems
| Title | Ada As a Specification Language for Interactive Systems |
| Publication Type | Conference Paper |
| Year of Publication | 1985 |
| Authors | El Iraki, A., G. Lapalme, and G. V. Bochmann |
| Conference Name | Convention informatique |
| Date Published | sep |
| Place Published | Palais des Congrès, Paris |
