70472313

a

70472313 Calegari, Daniel Luna, Carlos Szasz, Nora Tasistro, Alvaro A type-theoretic framework for certified model transformations SBMF, 112-127 (2010). 2010 EN

doi:10.1007/978-3-642-19829-8_8