Fields of science
- 102027 Web engineering
- 102 Computer Sciences
- 102015 Information systems
JKU Focus areas
- Computation in Informatics and Mathematics
Hybrid Systems Engineering - Verified Runtime Validation and Proof-Aware Refactoring
- Stefan Mitsch (Speaker)
Activity: Talk or presentation › Invited talk › unknown