Towards Reasoning About Product Lines with Design Choices.

Navpreet Kaur, Michalis Famelis

Browse the full MODELS paper archive.