2014
Conference article
Restricted
Formal methods and analyses in software product line engineering (Track Summary)
Schaefer I, Ter Beek M H
Formal methods Analysis techniques Software Product Line Engineering
Track Summary
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:294362,
title = {Formal methods and analyses in software product line engineering (Track Summary)},
author = {Schaefer I and Ter Beek M H},
year = {2014}
}CNR authorsLaboratories
0000-0002-2930-6367