Activities per year
Personal profile
Austrian Fields of Study 2012 (6-stellig)
- 102016 IT security
Activities
- 1 Talk at workshop, seminar or course
-
Automated Verification of Power Contracts
Johannes Haring (Speaker)
11 Sept 2023Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science