User-level synthesis: Treating product lines as systems of constraints
- Bernhard Steffen
- , Anna Lena Lamprecht
- , Tiziana Margaria
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review