Loïc Gammaitoni, Pierre Kelsen, Qin Ma 0002. Agile validation of model transformations using compound F-Alloy specifications. Science of Computer Programming, 162:55-75, 2018. [doi]
@article{GammaitoniKM18,
title = {Agile validation of model transformations using compound F-Alloy specifications},
author = {Loïc Gammaitoni and Pierre Kelsen and Qin Ma 0002},
year = {2018},
doi = {10.1016/j.scico.2017.07.001},
url = {https://doi.org/10.1016/j.scico.2017.07.001},
researchr = {https://researchr.org/publication/GammaitoniKM18},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {162},
pages = {55-75},
}