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. Journal of Logic and Algebraic Programming, 85(1):123-124, 2016. [doi]

Abstract

Abstract is missing.