@MastersThesis{ lortz:typbasierte, author = {Steffen Lortz}, title = {Typbasierte Informationsflussanalyse f\"ur JVM-Programme auf Mobilger\"aten}, school = {TU Darmstadt}, type = {Bachelor Thesis}, month = {April}, year = 2009 }