@INPROCEEDINGS{milloRKGiFM2013,
  author = {Jean-Vivien Millo and S. Ramesh and Shankara Narayanan Krishna and
	Ganesh Khandu Narwane},
  title = {Compositional Verification of Software Product Lines},
  booktitle = {International conference on integrated formal methods 2013 (iFM'2013)},
  year = {2013},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://arxiv.org/abs/1212.4258},
  journal = {CoRR},
  owner = {jvmillo},
  timestamp = {2013.03.20}
}