An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.

Jordi Cabot, Robert Claris, Esther Guerra, Juan de Lara

Browse the full MODELS paper archive.