Using Ada As a Specification and an Implementation Language for Interactive Systems

TitleUsing Ada As a Specification and an Implementation Language for Interactive Systems
Publication TypeConference Paper
Year of Publication1988
AuthorsEl Iraki, A., G. Lapalme, and G. V. Bochmann
Conference NameInternational Computer Symposium (ICS'88)
Date Publisheddec
Place PublishedTamkang University, Taipei, Taiwan, Republic of China