Verification of Aspectual Composition in Feature-Modeling.

Qinglei Zhang, Ridha Khdri, Jason Jaskolka

Browse the full SEFM paper archive.