Florian Sextl
Univ.Ass. / MSc
Role
-
PreDoc Researcher
Formal Methods in Systems Engineering, E192-04
Supervisions
-
Join Operators for Bi-Abductive Analysis of Low-level Code
/
Rysavy, L. (2024). Join Operators for Bi-Abductive Analysis of Low-level Code [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119373
Download: PDF (1.3 MB)