Model mining and efficient verification of software product lines Publikasjonsdetaljer Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015 Internasjonale standardnumre: Trykt: 1312-6555 Elektronisk: 1314-7897 Du er her: Hjem Publikasjoner Vitenskapelig artikkel Model mining and efficient verification of software product lines