Pasar al contenido principal

A Type-Theoretic Framework for Certified Model Transformations

Tipo
Paper de conferencia
Año
2010
Publisher
Springer
Páginas
112
Volúmen
6527
Tertiary title
Lecture Notes in Computer Science
Abstract

Autores

Alvaro Tasistro
Adenilso da Silva Simão
Nora Szasz
Jim Davies
Leila Silva
Citekey
DBLP:conf/sbmf/CalegariLST10
doi
10.1007/978-3-642-19829-8_8
Keywords