Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)
David Benavides, Martin Leucker, Martin G. Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong · 2011
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.