Potential Synergies of Theorem Proving and Model Checking for Software Product Lines
doi 10.1145/2648511.2648530
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2014
Authors
Publisher
ACM Press
Available in full text
January 1, 2014
ACM Press