A Formal Approach to Software Product Families.

Martin Leucker, Daniel Thoma

Browse the full ISoLA paper archive.