Formal Semantics and Verification for Feature Modeling.

Jing Sun, Hongyu Zhang, Yuan-Fang Li, Hai H. Wang

Browse the full ICECCS paper archive.