[Back]


Diploma and Master Theses (authored and supervised):

M. Racz:
"InjectionCop A Pluggable Type Checker for Inferencing Custom Type Qualifiers";
Supervisor: W. Kastner, Ch. Platzer; Rechnergestützte Automation, 2014; final examination: 2014-11-13.