Ada As a Specification Language for Interactive Systems

TitleAda As a Specification Language for Interactive Systems
Publication TypeConference Paper
Year of Publication1985
AuthorsEl Iraki, A., G. Lapalme, and G. V. Bochmann
Conference NameConvention informatique
Date Publishedsep
Place PublishedPalais des Congrès, Paris