Hermann, Frank; Hülsbusch, Mathias; König, Barbara:
Specification and Verification of Model Transformations
In: Proceedings of the International Colloquium on Graph and Model Transformation On the occasion of the 65th birthday of Hartmut Ehrig (GraMoT 2010). - (Electronic Communications of the EASST ; 30) - 2010
Buchaufsatz/Kapitel in Sammelwerk2010Informatik
Titel:
Specification and Verification of Model Transformations
Autor(in):
Hermann, Frank; Hülsbusch, MathiasLSF; König, BarbaraLSF
Erscheinungsjahr
2010
WWW URL