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]

@article{BeekCS16,
  title = {Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering},
  author = {Maurice H. ter Beek and Dave Clarke and Ina Schaefer},
  year = {2016},
  doi = {10.1016/j.jlamp.2015.09.006},
  url = {http://dx.doi.org/10.1016/j.jlamp.2015.09.006},
  researchr = {https://researchr.org/publication/BeekCS16},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {85},
  number = {1},
  pages = {123-124},
}