TITLE     : Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering
AUTHOR(S) : Ter Beek M H, Clarke D, Schaefer I
TYPE      : Book
YEAR      : 2016
CODE      : 340483

*** DO NOT EDIT THIS FILE ***