A product line of theories for reasoning about safe evolution of product lines.

Leopoldo Teixeira, Vander Alves, Paulo Borba, Rohit Gheyi

Browse the full SPLC paper archive.