@Misc{ schneider:towards, author = {Jan Schneider}, title = {Towards an Implementation of a Concurrency-Aware Type System for Analyzing Android Applications with Cassandra}, institution = {TU Darmstadt}, year = 2018, howpublished = {Bachelor's thesis, TU Darmstadt} }