A Formal Specification for Product Configuration in Software Product Lines.

Huilin Ye, Yuqing Lin

Browse the full SEKE paper archive.