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

Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong

Browse the full SPLC paper archive.