Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series.

Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee

Browse the full SPLC paper archive.