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]