Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski. Finding suitable variability abstractions for lifted analysis. Formal Asp. Comput., 31(2):231-259, 2019. [doi]
@article{DimovskiBW19,
title = {Finding suitable variability abstractions for lifted analysis},
author = {Aleksandar S. Dimovski and Claus Brabrand and Andrzej Wasowski},
year = {2019},
doi = {10.1007/s00165-019-00479-y},
url = {https://doi.org/10.1007/s00165-019-00479-y},
researchr = {https://researchr.org/publication/DimovskiBW19},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {31},
number = {2},
pages = {231-259},
}