Verifying Model Transformations by Structural Correspondence.

Anantha Narayanan Gabor Karsai Verifying Model Transformations by Structural Correspondence. 2008 10 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/157 db/journals/eceasst/eceasst10.html#NarayananK08