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

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre Yves Schobbens

Research output: Contribution to journalArticlepeer-review

421 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal semantics, modular specification, and symbolic verification of product-line behaviour'. Together they form a unique fingerprint.

Computer Science