Specifying the correctness properties of model transformations.

Anantha Narayanan, Gabor Karsai

Browse the full ICSE paper archive.