@inproceedings{BF1,
title = { Contract-Based Verification of Model Transformations: A Formally Founded Approach },
author = {Brau, Guillaume and Foughali, Mohammed},
year = {2021},
booktitle = {36th ACM/SIGAPP Symposium On Applied Computing (SAC)},
team = {RSD},
}