Markov, Minko, University of Sofia Sofia, Bulgaria, Bulgaria

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