Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi
A product line of theories for reasoning about safe evolution of product lines
SPLC, 2015.
@inproceedings{SPLC-2015-TeixeiraABG,
author = "Leopoldo Teixeira and Vander Alves and Paulo Borba and Rohit Gheyi",
booktitle = "{Proceedings of the 19th International Software Product Line Conference}",
doi = "10.1145/2791060.2791105",
isbn = "978-1-4503-3613-0",
pages = "161--170",
publisher = "{ACM}",
title = "{A product line of theories for reasoning about safe evolution of product lines}",
year = 2015,
}