A Specification Technique for Interactive System
Title | A Specification Technique for Interactive System |
Publication Type | Conference Paper |
Year of Publication | 1985 |
Authors | El Iraki, A., G. Lapalme, and G. V. Bochmann |
Conference Name | Proceedings of COMPINT 85 |
Date Published | sep |
Place Published | Montreal |