Ada As a Specification Language for Interactive Systems

TitreAda As a Specification Language for Interactive Systems
Type de publicationConference Paper
Année de publication1985
AuteursEl Iraki, A., G. Lapalme, and G. V. Bochmann
Nom de la conférenceConvention informatique
Date Publishedsep
Endroit d'éditionPalais des Congrès, Paris