Volver atrás Publicación
Alpuente Frasnedo María, Escobar Román Santiago, Espert Real Javier, José Meseguer
2014
ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
