A Specification Technique for Interactive System

TitreA Specification Technique for Interactive System
Type de publicationConference Paper
Année de publication1985
AuteursEl Iraki, A., G. Lapalme, and G. V. Bochmann
Nom de la conférenceProceedings of COMPINT 85
Date Publishedsep
Endroit d'éditionMontreal