Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011).

David Benavides, Martin Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong

Browse the full SPLC paper archive.