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 Software & Systems Modeling, Springer, 2018.
Bibtex Entry:
@Article{Dyck+2018,
AUTHOR = {Dyck, Johannes and Holger Giese and Lambers, Leen},
TITLE = {{Automatic verification of behavior preservation at the transformation level for relational model transformation}},
YEAR = {2018},
JOURNAL = {Software \& Systems Modeling},
PUBLISHER = {Springer},
URL = {https://doi.org/10.1007/s10270-018-00706-9}
}