Abstraction Refinement for the Analysis of Software Product Lines.

Ferruccio Damiani, Reiner Hhnle, Michael Lienhardt

Browse the full TAP paper archive.