Verified bidirectional transformations by construction

Kevin Lano, S Yassipour-Tehrani

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Original languageUndefined
    Title of host publicationCEUR Workshop Proceedings
    Pages28-37
    Number of pages10
    Volume1693
    Publication statusPublished - 2016

    Cite this