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