Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara. An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. In Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter, editors, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings. Volume 5301 of Lecture Notes in Computer Science, pages 37-52, Springer, 2008. [doi]
Abstract is missing.