Márton Hajdu
Research software engineer
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0311 (Show FORSYTE location) |
| Phone | +43 1 58801 740081 |
| marton.hajdu@tuwien.ac.at | |
| Other links |
ORCID EasyChair GitHub dblp |
| Group | Automated Program Reasoning |
|---|---|
| Room | Office HA0311 (Show FORSYTE location) |
| Phone | +43 1 58801 740081 |
| marton.hajdu@tuwien.ac.at | |
| Other links |
ORCID EasyChair GitHub dblp |