@MastersThesis{	  kretzmer:tested,
  author	= {David Kretzmer},
  title		= {A Tested and Mechanized Semantics for a Sub-language of
		  Dalvik Bytecode},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2021
}