Login / Signup

Direct Implementation of Abstract Data Types from Abstract Specifications.

Boumediene BelkhoucheJoseph E. Urban
Published in: IEEE Trans. Software Eng. (1986)
Keyphrases