Compositional Verification of Software Product Lines

Sorry, there's nothing here.

Cite this paper

@inproceedings{Millo2013CompositionalVO, title={Compositional Verification of Software Product Lines}, author={Jean-Vivien Millo and S. Ramesh and Shankara Narayanan Krishna and Ganesh Khandu Narwane}, booktitle={IFM}, year={2013} }