Vienna University of Technology Faculty of Informatics, TU Vienna
mail-address: Florian Zuleger
Technische Universität Wien
Institut für Informationssysteme 184/4
Arbeitsbereich Formal Methods in Systems Engineering
Favoritenstraße 9
1040 Wien
Austria
room: HC 03 09
phone: +43 1 58801 18432
email: zuleger_at_forsyte.at
curriculum vitae