Hülsbusch, Mathias; König, Barbara; Rensink, Arend; Semenyak, Maria; Soltenborn, Christian; Wehrheim, Heike:

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

In: Proceedings of the 8th International Conference of Integrated Formal Methods, IFM 2010. - (Lecture Notes in Computer Science ; 6396)
Berlin: Springer (2010), S. 183-198
ISBN: 978-3-642-16264-0
Buchaufsatz / Kapitel / Fach: Informatik

Dieser Eintrag ist freigegeben.