FLAME: A Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Software and Systems Modeling - Germany
doi 10.1007/s10270-015-0503-z
Full Text
Open PDFAbstract
Available in full text
Date
December 14, 2015
Authors
Publisher
Springer Science and Business Media LLC