Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
['Maurice H. ter Beek', 'Dave Clarke', 'Ina Schaefer']
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering