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]

@inproceedings{KammullerRR10,
  title = {Feature link propagation across variability representations with Isabelle/HOL},
  author = {Florian Kammüller and Alexander Rein and Mark-Oliver Reiser},
  year = {2010},
  doi = {10.1145/1808937.1808944},
  url = {http://doi.acm.org/10.1145/1808937.1808944},
  researchr = {https://researchr.org/publication/KammullerRR10},
  cites = {0},
  citedby = {0},
  pages = {48-53},
  booktitle = {Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010},
  editor = {Julia Rubin and Goetz Botterweck and Mira Mezini and Itay Maman and Andreas Pleuss},
  publisher = {ACM},
  isbn = {978-1-60558-968-8},
}