Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna, Ganesh Khandu Narwane. Compositional Verification of Software Product Lines. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 109-123, Springer, 2013. [doi]
Abstract is missing.