Soleimanifard, Siavash, KTH Royal Institute of Technology Stockholm, Sweden, Sweden

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