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 |