Best Tool Paper Award für Till Hofmann und Stefan Schupp

Till Hofmann und Stefan Schupp haben mit ihrem tool paper "TACoS: A Tool for MTL Controller Synthesis" den Best Tool Paper Award bei der 19th International Conference on Software Engineering and Formal Methods gewonnnen.