Model checking software product lines with SNIP

Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. Model checking software product lines with SNIP. STTT, 14(5):589-612, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.