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}
}