Login / Signup

ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.

María AlpuenteSantiago EscobarJavier EspertJosé Meseguer
Published in: JELIA (2014)
Keyphrases