[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Symbolic model checking of software product lines
Classen, Andreas, Heymans, Patrick, Schobbens, Pierre-Yves, Legay, AxelYear:
2011
Language:
english
DOI:
10.1145/1985793.1985838
File:
PDF, 678 KB
english, 2011