Modeling Variability in Software Product Line Using First Order Logic.

Abdelrahman Osman Elfaki, Somnuk Phon-Amnuaisuk, Chin Kuan Ho

Browse the full SERA paper archive.