Said Meghzili, Allaoua Chaoui, Martin Strecker, Elhillali Kerkouche. Verification of Model Transformations Using Isabelle/HOL and Scala. Information Systems Frontiers, 21(1):45-65, 2019. [doi]
@article{MeghziliCSK19, title = {Verification of Model Transformations Using Isabelle/HOL and Scala}, author = {Said Meghzili and Allaoua Chaoui and Martin Strecker and Elhillali Kerkouche}, year = {2019}, doi = {10.1007/s10796-018-9860-9}, url = {https://doi.org/10.1007/s10796-018-9860-9}, researchr = {https://researchr.org/publication/MeghziliCSK19}, cites = {0}, citedby = {0}, journal = {Information Systems Frontiers}, volume = {21}, number = {1}, pages = {45-65}, }