Family-based deductive verification of software product lines.

Thomas Thm, Ina Schaefer, Martin Hentschel, Sven Apel

Browse the full GPCE paper archive.