Projects per year
Projects
- 1 Finished
Search results
-
Finished
SNIP: An Efficient Model Checker for Software Product Lines
- Andreas Classen
- , Maxime Cordy
- , Patrick Heymans
- , Pierre-Yves Schobbens
- , Axel Legay
Research output: Other contribution
359
Downloads
(Pure)