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

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

    Research output: Book/Report › Report › Professional

    239 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques'. Together they form a unique fingerprint.