Østvold, Bjarte M., Norwegian Computing Center Oslo, Norway, Norway

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