Correctness-by-construction for feature-oriented software product lines.

Tabea Bordis, Tobias Runge, Ina Schaefer

Browse the full GPCE paper archive.