Detecting and Repairing Inconsistencies across Heterogeneous Models.

Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack

Browse the full ICST paper archive.