User-level synthesis: treating product lines as systems of constraints.

Bernhard Steffen, Anna-Lena Lamprecht, Tiziana Margaria

Browse the full SPLC paper archive.