Merging Cloned Alloy Models with Colorful Refactorings

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-63882-5_11 ◽

2020 ◽

pp. 173-191

Author(s):

Chong Liu ◽

Nuno Macedo ◽

Alcino Cunha

Download Full-text