Schaefer I., Ter Beek M. H.
Analysis techniques Software Product Line Engineering Formal methods
Track Summary
Source: ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, pp. 253–256, Corfu, Greece, 8-11 October 2014
Publisher: Springer, Berlin , Germania
@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.}, publisher = {Springer, Berlin , Germania}, doi = {10.1007/978-3-662-45234-9_18}, booktitle = {ISoLA 2014 - Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. 6th International Symposium, pp. 253–256, Corfu, Greece, 8-11 October 2014}, year = {2014} }