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 Sammelwerk / Fach: Informatik
Titel:
Specification and Verification of Model Transformations
Autor(in):
Hermann, Frank; Hülsbusch, Mathias im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2010
Erschienen 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
WWW URL