Model mining and efficient verification of software product lines Siavash Soleimanifard Dilian Gurov Ina Schaefer Bjarte M. Østvold Minko Markov Publikasjonsdetaljer Journal: Serdica Journal of Computing, vol. 9, p. 35–82, 2015 Internasjonale standardnumre: Trykt: 1312-6555 Elektronisk: 1314-7897 Bjarte M. Østvold Ass. forskningssjef Du er her: Hjem Publikasjoner Vitenskapelig artikkel Model mining and efficient verification of software product lines
