[MA] Ensuring Correctness in Systems Configurable with End-User-Programming

Betreuer: Christian Gutsche