Model mining and efficient verification of software product lines

Publication details

  • Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015
  • International Standard Numbers:
    • Printed: 1312-6555
    • Electronic: 1314-7897