Software Product Line Conference, International (2011)
Aug. 22, 2011 to Aug. 26, 2011
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.39
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.
R. Rabiser, M. Becker, K. Villela, D. Benavides, P. Y. Wong and M. Leucker, "Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)," Software Product Line Conference, International(SPLC), Munich, Germany, 2011, pp. 336.