A Specification Technique for Interactive System

TitleA Specification Technique for Interactive System
Publication TypeConference Paper
Year of Publication1985
AuthorsEl Iraki, A., G. Lapalme, and G. V. Bochmann
Conference NameProceedings of COMPINT 85
Date Publishedsep
Place PublishedMontreal