Foreword to the Special Issue on Formal Methods for Software Product Line Engineering

Don S. Batory. Foreword to the Special Issue on Formal Methods for Software Product Line Engineering. Journal of Logic and Algebraic Programming, 85(1):121-122, 2016. [doi]

Abstract

Abstract is missing.