Model mining and efficient verification of software product lines

Soleimanifard, Siavash; Gurov, Dilian; Schaefer, Ina; Østvold, Bjarte M.; Markov, Minko

Publikasjonsdetaljer

Tidsskrift: Serdica Journal of Computing, vol. 9, p. 35–82, 2015

Utgave: 1

Internasjonale standardnumre:
Trykt: 1312-6555
Elektronisk: 1314-7897