Tobias Reinhard

First name

Tobias

Last name

Reinhard

Sort by Year of Publication

Order AscDesc

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):