DMCA

Symbolic model checking of software product lines (2011)

by Andreas Classen , Patrick Heymans , Pierre-yves Schobbens , Axel Legay
Venue:IN ICSE’11
Citations:46 - 4 self