TITLE     : Formal methods and analyses in software product line engineering (Track Summary)
AUTHOR(S) : Schaefer I, Ter Beek M H
TYPE      : Conference article
YEAR      : 2014
CODE      : 294362

*** DO NOT EDIT THIS FILE ***