@MastersThesis{	  hohl:exploiting,
  author	= {Thomas H\"ohl},
  title		= {Exploiting Selected Design Patterns in Modular Reasoning
		  about C Programs},
  school	= {TU Darmstadt},
  type		= {Master's Thesis},
  year		= 2018
}