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

Tipo

Miscellaneous section

Año

2013

Páginas

5

Volúmen

292

Abstract

Autores

Nora Szasz

Citekey

DBLP:journals/entcs/CalegariS13

URL a la publicación

http://dx.doi.org/10.1016/j.entcs.2013.02.002

doi

10.1016/j.entcs.2013.02.002

Keywords