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} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Phillip Bende
- Martin Blankenburg
- Gerhard Buntrock
- David Caraveo
- Lukas Convent
- Normann Decker
- Sebastian Hungerecker
- Karam Kharraz
- Uwe Kienitz
- Nikolas Knickrehm
- Christian Kreutzfeldt
- Felix Lange
- Grigory Markin
- Maria Ostanina
- André Pedro
- Torben Scheffel
- Malte Schmitz
- Nina Strugalla
- Annette Stümpel
- Daniel Thoma
- Open Positions
- Contact