Ada As a Specification Language for Interactive Systems
Titre | Ada As a Specification Language for Interactive Systems |
Type de publication | Conference Paper |
Année de publication | 1985 |
Auteurs | El Iraki, A., G. Lapalme, and G. V. Bochmann |
Nom de la conférence | Convention informatique |
Date Published | sep |
Endroit d'édition | Palais des Congrès, Paris |