Lukas Krischker Professur für Entwurfsmethodik Institut für Informatik Johann Wolfgang Goethe-Universität Postfach 11 19 32 60054 Frankfurt am Main
s0574831(at)stud.uni-frankfurt.de