Ada As a Specification Language for Interactive Systems

TitreAda As a Specification Language for Interactive Systems
Type de publicationConference Paper
Year of Publication1985
AuteursEl Iraki, A., G. Lapalme, and G. V. Bochmann
Conference NameConvention informatique
Date Publishedsep
Place PublishedPalais des Congrès, Paris