Automatic verification of behavior preservation at the transformation level for relational model transformation

Dyck, Johannes; Giese, Holger; Lambers, Leen

doi:10.1007/s10270-018-00706-9

by Johannes Dyck, Holger Giese, Leen Lambers

Reference:

Automatic verification of behavior preservation at the transformation level for relational model transformation (Johannes Dyck, Holger Giese, Leen Lambers), In Softw. Syst. Model., volume 18, 2019.

Bibtex Entry:

@article{DBLP:journals/sosym/DyckGL19,
    author    = {Johannes Dyck and
               Holger Giese and
               Leen Lambers},
    title     = {Automatic verification of behavior preservation at the transformation level for relational model transformation},
    journal   = {Softw. Syst. Model.},
    volume    = {18},
    number    = {5},
    pages     = {2937--2972},
    year      = {2019},
    url       = {https://doi.org/10.1007/s10270-018-00706-9},
    doi       = {10.1007/s10270-018-00706-9},
    timestamp = {Fri, 18 Sep 2020 11:19:15 +0200},
    biburl    = {https://dblp.org/rec/journals/sosym/DyckGL19.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org}
}