Simplifying the Analysis of Software Design Variants with a Colorful Alloy.

Chong Liu, Nuno Macedo, Alcino Cunha

Browse the full SETTA paper archive.