Author Details

Seidl, Martina, Institute for Formal Models and Verification Johannes Kepler Universit├Ąt Linz