Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski
Finding Suitable Variability Abstractions for Family-Based Analysis
FM, 2016.
@inproceedings{FM-2016-DimovskiBW, author = "Aleksandar S. Dimovski and Claus Brabrand and Andrzej Wasowski", booktitle = "{Proceedings of the 21st International Symposium of Formal Methods}", doi = "10.1007/978-3-319-48989-6_14", isbn = "978-3-319-48988-9", pages = "217--234", title = "{Finding Suitable Variability Abstractions for Family-Based Analysis}", year = 2016, }