Compositional Verification of Software Product Lines.

Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane

Browse the full IFM paper archive.