*Result*: Symbolic model checking of software product lines
Title:
Symbolic model checking of software product lines
Source:
2011 33rd International Conference on Software Engineering (ICSE) Software Engineering (ICSE), 2011 33rd International Conference on. :321-330 May, 2011
Relation:
2011 33rd International Conference on Software Engineering (ICSE)
Database:
IEEE Xplore Digital Library