You are here

Home › Research › Publications ›

Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

TitleFormal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Publication TypeConference Paper
Year of Publication2011
AuthorsBenavides, D, Leucker, M, Becker, M, Rabiser, R, Villela, K, Wong, PYH
Conference NameSoftware Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011
Bibtex: 
@inproceedings {1103,
	title = {Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)},
	booktitle = {Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011},
	year = {2011},
	author = {David Benavides and Martin Leucker and Martin Becker and Rick Rabiser and Karina Villela and Peter Y. H. Wong}
}