Model Checking for Software Product Lines with SNIP

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

Research output: Other contribution

124 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2012

Cite this