Merging cloned Alloy models with colorful refactorings

Chong Liu, Nuno Macedo, Alcino Cunha. Merging cloned Alloy models with colorful refactorings. Science of Computer Programming, 220:102829, 2022. [doi]

Abstract

Abstract is missing.