Sign in

An Algebraic Framework for Higher-Order Modules.

Rosa M. JiménezFernando Orejas
Published in: World Congress on Formal Methods (1999)
Keyphrases