First International Workshop on Formal Methods in Software Product Line Engineering.

Ina Schaefer, Ralf Carbon

Browse the full SPLC paper archive.