RT Journal Article
JF 2011 15th International Software Product Line Conference (SPLC 2011)
YR 2011
VO 00
SP 336
TI Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
A1 Rick Rabiser,
A1 Martin Becker,
A1 Karina Villela,
A1 David Benavides,
A1 Peter Y.H. Wong,
A1 Martin Leucker,
AB This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.
PB IEEE Computer Society, [URL:http://www.computer.org]
LA English
DO 10.1109/SPLC.2011.39
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.39