Anantha Narayanan, Gabor Karsai. Specifying the correctness properties of model transformations. In Gabor Karsai, Gabriele Taentzer, editors, Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008. pages 45-52, ACM, 2008. [doi]
Abstract is missing.