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 |
