Towards Efficient Model Comparison using Automated Program Rewriting.

Qurat ul ain Ali, Dimitris S. Kolovos, Konstantinos Barmpis

Browse the full SLE paper archive.