Specifying the correctness properties of model transformations

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]

Authors

Anantha Narayanan

This author has not been identified. It may be one of the following persons: Look up 'Anantha Narayanan' in Google

Gabor Karsai

This author has not been identified. It may be one of the following persons: Look up 'Gabor Karsai' in Google