Jonas Bodingbauer
Projektass. Dipl.-Ing. Dipl.-Ing. / BSc BSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Publications
-
Vampires can lean into trust : checking proofs for soundness
/
Bodingbauer, J. (2026). Vampires can lean into trust : checking proofs for soundness [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2026.139594
Download: PDF (58.7 MB)