Petra Hozzová

PhD student

Group Automated Program Reasoning
Room Office HE0309 (Show FORSYTE location)
Phone +43 1 58801 192405
Email petra.hozzova@tuwien.ac.at
Other links ORCID