Ina Schaefer, Ralf Carbon. First International Workshop on Formal Methods in Software Product Line Engineering. In Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood, editors, Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools). pages 71-72, Lancaster University, 2010. [doi]
Abstract is missing.