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]

Authors

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Franco Mazzanti

This author has not been identified. Look up 'Franco Mazzanti' in Google

Aldi Sulova

This author has not been identified. Look up 'Aldi Sulova' in Google