1
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: SETTA, VOLUME: 11951 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2