(1)
Hermann, F.; Hülsbusch, M.; König, B. Specification and Verification of Model Transformations.
ECEASST
2010
,
30
.