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]
@inproceedings{MilloRKN13,
title = {Compositional Verification of Software Product Lines},
author = {Jean-Vivien Millo and S. Ramesh and Shankara Narayanan Krishna and Ganesh Khandu Narwane},
year = {2013},
doi = {10.1007/978-3-642-38613-8_8},
url = {http://dx.doi.org/10.1007/978-3-642-38613-8_8},
researchr = {https://researchr.org/publication/MilloRKN13},
cites = {0},
citedby = {0},
pages = {109-123},
booktitle = {Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings},
editor = {Einar Broch Johnsen and Luigia Petre},
volume = {7940},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38613-8},
}