David Michael Kaindlstorfer
Univ.Ass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Software Engineering, E194-01
Courses
Publications
-
Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists
/
Kaindlstorfer, D. M. (2023). Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.109623
Download: PDF (591 KB)