VMC: A Tool for Product Variability Analysis

Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova. VMC: A Tool for Product Variability Analysis. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 450-454, Springer, 2012. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: