Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt. Static analysis and family-based model checking with VMC. In Mohammad Mousavi, Pierre-Yves Schobbens, editors, SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. pages 214, ACM, 2021. [doi]
@inproceedings{BeekMDPSL21,
title = {Static analysis and family-based model checking with VMC},
author = {Maurice H. ter Beek and Franco Mazzanti and Ferruccio Damiani and Luca Paolini and Giordano Scarso and Michael Lienhardt},
year = {2021},
doi = {10.1145/3461001.3472732},
url = {https://doi.org/10.1145/3461001.3472732},
researchr = {https://researchr.org/publication/BeekMDPSL21},
cites = {0},
citedby = {0},
pages = {214},
booktitle = {SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A},
editor = {Mohammad Mousavi and Pierre-Yves Schobbens},
publisher = {ACM},
isbn = {978-1-4503-8469-8},
}