Merging Cloned Alloy Models with Colorful Refactorings

No Thumbnail Available
Files
P-00W-KKC.pdf (1.38 MB)
Date
2022
Authors
Liu,C
Nuno Moreira Macedo
Alcino Cunha
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://dx.doi.org/10.1016/j.scico.2022.102829
 https://repositorio.inesctec.pt/handle/123456789/13242
Collections
HASLab - Indexed Articles in Journals