David Michael Kaindlstorfer

Univ.Ass. Dipl.-Ing. / BSc

Role

PreDoc Researcher
Software Engineering, E194-01

Contact

Courses

2023W

Advanced Software Engineering / 194.021 / VU
Seminar for Master Students in Software Engineering & Internet Computing / 180.777 / SE

Publications

Enhancing abstraction and symbolic execution for shape analysis of C-programs operating on linked lists / Kaindlstorfer, D. (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)