Logo INCO

A Type-Theoretic Framework for Certified Model Transformations

Tipo
Libro
Año
2011
Publisher
Springer Berlin Heidelberg
ISSN
1611-3349
ISBN
978-3-642-19829-8
Páginas
112
Volúmen
6527
Abstract

Autores

Carlos Luna
Daniel Calegari
Nora Szasz
Alvaro Tasistro
Citekey
11787
doi
10.1007/978-3-642-19829-8_8
Keywords