Feature link propagation across variability representations with Isabelle/HOL

Florian Kammüller, Alexander Rein, Mark-Oliver Reiser. Feature link propagation across variability representations with Isabelle/HOL. In Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss, editors, Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010. pages 48-53, ACM, 2010. [doi]

Authors

Florian Kammüller

This author has not been identified. Look up 'Florian Kammüller' in Google

Alexander Rein

This author has not been identified. Look up 'Alexander Rein' in Google

Mark-Oliver Reiser

This author has not been identified. Look up 'Mark-Oliver Reiser' in Google