Formal Description and Verification of a Text-based Model Differencing and Merging Method.

Ferenc Attila Somogyi, Mrk Asztalos

Browse the full MODELSWARD paper archive.