Login / Signup

On Algebraic Specifications of Abstract Data Types.

Bakhadyr Khoussainov
Published in: CSL (2003)
Keyphrases