Herz, Alexander
Programming Language Design, Analysis and Implementation for Automated and Effective Program Parallelization
2015
Dissertation
168 Seiten

Mihaila, Bogdan Andrei
Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities
2015
Dissertation
191 Seiten