@inproceedings{543, author = {Anantha Narayanan and Gabor Karsai}, title = {Specifying the Correctness Properties of Model Transformations}, year = {2008}, journal = {3rd International Workshop on Graph and Model Transformation (GraMoT)}, month = {05/2008}, }