First International Workshop on Formal Methods in Software Product Line Engineering

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]

Authors

Ina Schaefer

This author has not been identified. It may be one of the following persons: Look up 'Ina Schaefer' in Google

Ralf Carbon

This author has not been identified. Look up 'Ralf Carbon' in Google