"Analyzing SPLs in Minutes instead of Years" May 24, 2013 Aarhus Uni (DAIMI) Statically Analyzing Software Product Lines in Minutes instead of Years SPL.
Statically Analyzing Software Product Lines in Minutes instead of Years