Login / Signup

On the Power of Higher-Order Algebraic Specification Methods.

Piotr KosiuczenkoKarl Meinke
Published in: Inf. Comput. (1996)
Keyphrases