Delta-based verification of software product families.

Marco Scaletta, Reiner Hhnle, Dominic Steinhfel, Richard Bubel

Browse the full GPCE paper archive.