Lukman Ab. Rahim, Jon Whittle. A survey of approaches for verifying model transformations. Software and Systems Modeling, 14(2):1003-1028, 2015. [doi]
@article{RahimW15,
title = {A survey of approaches for verifying model transformations},
author = {Lukman Ab. Rahim and Jon Whittle},
year = {2015},
doi = {10.1007/s10270-013-0358-0},
url = {http://dx.doi.org/10.1007/s10270-013-0358-0},
researchr = {https://researchr.org/publication/RahimW15},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {14},
number = {2},
pages = {1003-1028},
}