Publication | Open Access

Formal semantics, modular specification, and symbolic verification of product-line behaviour