Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel. 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). In Jan Bosch, Jaejoon Lee, editors, Software Product Lines: Going Beyond - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings. Volume 6287 of Lecture Notes in Computer Science, pages 526, Springer, 2010. [doi]
Abstract is missing.