Tobias Reinhard

First name
Tobias
Last name
Reinhard
Tobias Reinhard
"Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds."
Faculty of Engineering Science
Doctor of Engineering Science (PhD): Computer Science
(2024):