Verification of Model Transformations: A Survey of the State-of-the-Art

Tipo

Artículo de journal

Año

2013

Fecha

3/2013

ISSN

15710661

Páginas

5

Volúmen

292

Título corto

Electronic Notes in Theoretical Computer Science

Abstract

Autores

Daniel Calegari

Nora Szasz

Citekey

11782

doi

10.1016/j.entcs.2013.02.002

Keywords