Login / Signup

Parameterised Higher-Order Algebraic Specifications.

L. J. Steggles
Published in: ALP/HOA (1997)
Keyphrases