Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
Title | Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) |
Publication Type | Conference Paper |
Year of Publication | 2011 |
Authors | Benavides, D, Leucker, M, Becker, M, Rabiser, R, Villela, K, Wong, PYH |
Conference Name | Software 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} }