Why is My Component and Connector Views Specification Unsatisfiable?

Shahar Maoz, Nitzan Pomerantz, Jan Oliver Ringert, Rafi Shalom

Browse the full MODELS paper archive.