Finding suitable variability abstractions for lifted analysis

Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski. Finding suitable variability abstractions for lifted analysis. Formal Asp. Comput., 31(2):231-259, 2019. [doi]

Abstract

Abstract is missing.