A Specification Technique for Interactive System
| Titre | A Specification Technique for Interactive System |
| 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 | Proceedings of COMPINT 85 |
| Date Published | sep |
| Endroit d'édition | Montreal |
