Formalisation and analysis of Dalvik bytecode. - Erik Ramsgaard Wognsen; Henrik Søndberg Karlsen; Mads Chr. Olesen; René Rydhof Hansen (Sci. Comput. Program., 2014)