Compositional Algorithmic Verification of Software Product Lines. (2011)

by I Schaefer, D Gurov, S Soleimanifard
Venue:FMCO 2010. LNCS,