Martina Seidl

Assistant Professor at the Institute for Formal Models and Verification, Johannes Kepler University