Contract-based verification of model transformations: a formally founded approach.

Guillaume Brau, Mohammed Foughali

Browse the full SAC paper archive.