Schaefer, Ina, Technical University of Braunschweig Braunschweig, Germany

• Serdica Journal of Computing Vol. 9 No. 1 (2015) - Articles
  Model Mining and Efficient Verification of Software Product Lines
  Abstract  PDF