Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi. A product line of theories for reasoning about safe evolution of product lines. In Douglas C. Schmidt, editor, Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015. pages 161-170, ACM, 2015. [doi]
Abstract is missing.