Fingerprint
Dive into the research topics of 'A primer on counterexample guided abstraction refinement of product-line behavioural models'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A primer on counterexample guided abstraction refinement of product-line behavioural models
Maxime Cordy, Bruno Dawagne, Patrick Heymans, Axel Legay, Martin Leucker, Pierre Yves Schobbens
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution