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 / Fach: Informatik

Dieser Eintrag ist freigegeben.