Login / Signup

Systematic derivation of correct variability-aware program analyses.

Jan MidtgaardAleksandar S. DimovskiClaus BrabrandAndrzej Wasowski
Published in: Sci. Comput. Program. (2015)
Keyphrases