Early Consistency Checking between Specification and Implementation Variabilities.

Xhevahire Trnava, Philippe Collet

Browse the full SPLC paper archive.