|
|
||
| mail-address: | Andreas Holzer | |
|---|---|---|
| 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: | holzer@forsyte.at | |
| curriculum vitae |