Ahmad Tarraf Professur für Entwurfsmethodik Institut für Informatik Johann Wolfgang Goethe-Universität Postfach 11 19 32 60054 Frankfurt am Main
tarraf(at)em.cs.uni-frankfurt.de