1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010).

Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel

Browse the full SPLC paper archive.