Feature link propagation across variability representations with Isabelle/HOL.

Florian Kammller, Alexander Rein, Mark-Oliver Reiser

Browse the full ICSE paper archive.