DMCA

Compositional Algorithmic Verification of Software Product Lines (2011)

by Ina Schaefer , Dilian Gurov , Siavash Soleimanifard
Venue:IN FMCO’10, VOLUME 6957 OF LNCS
Citations:11 - 6 self