VMC: A Tool for Product Variability Analysis.

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova

Browse the full FM paper archive.