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]
@inproceedings{SchaeferC10,
title = {First International Workshop on Formal Methods in Software Product Line Engineering},
author = {Ina Schaefer and Ralf Carbon},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010_second_volume.pdf},
researchr = {https://researchr.org/publication/SchaeferC10},
cites = {0},
citedby = {0},
pages = {71-72},
booktitle = {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)},
editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood},
publisher = {Lancaster University},
isbn = {978-1-86220-274-0},
}