BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @mastersthesis{TUW-235663, author = {Racz, Michael}, title = {InjectionCop A Pluggable Type Checker for Inferencing Custom Type Qualifiers}, school = {Rechnergest{\"u}tzte Automation}, year = {2014} } 1 Datensatz ausgegeben