Ensuring Correctness of Model Transformations While Remaining Decidable.

Jon Hal Brenas, Rachid Echahed, Martin Strecker

Browse the full ICTAC paper archive.