Petra Hozzová
PhD student
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HE0309 (Show FORSYTE location) |
| Phone | +43 1 58801 192405 |
| petra.hozzova@tuwien.ac.at | |
| Other links |
ORCID Google Scholar |
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HE0309 (Show FORSYTE location) |
| Phone | +43 1 58801 192405 |
| petra.hozzova@tuwien.ac.at | |
| Other links |
ORCID Google Scholar |