Systematic derivation of correct variability-aware program analyses
Midtgaard, Jan, Dimovski, Aleksandar S., Brabrand, Claus, Wąsowski, AndrzejVolume:
105
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2015.04.005
Date:
July, 2015
File:
PDF, 957 KB
english, 2015