Markus Fleischmann
Projektass. Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Software Engineering, E194-01
Publications
- Automated soundness testing of program analyzers / Fleischmann, M. (2024). Automated soundness testing of program analyzers [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.109940