Specification and Verification of Model Transformations
Reference
Frank Hermann, Mathias Hülsbusch, and Barbara König. Specification and verification of model transformations. In Proc. of GraMoT '10 (International Colloquium on Graph and Model Transformation on the Occasion of Hartmut Ehrig's 65th birthday), volume 30 of Electronic Communications of the EASST, 2010.
Suggested BibTeX entry:
@inproceedings{HHK10,
author = {Frank Hermann and Mathias H{\"u}lsbusch and Barbara K{\"o}nig},
booktitle = {Proc. of GraMoT '10 (International Colloquium on Graph and Model Transformation on the Occasion of Hartmut Ehrig's 65th birthday)},
series = {Electronic Communications of the EASST},
title = {Specification and Verification of Model Transformations},
volume = {30},
year = {2010}
}
