Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary).

Ina Schaefer, Maurice H. ter Beek

Browse the full ISoLA paper archive.