Information Flow in Object-Oriented Software – Extended Version –

@TechReport{BeckertBrunsEA2013,
  author	= {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov
		   and Christoph Scheben and Peter H. Schmitt and Mattias
		   Ulbrich},
  title		= {Information Flow in Object-Oriented Software -- Extended
		   Version --},
  year		= 2013,
  month		= dec,
  institution	= {Department of Informatics, Karlsruhe Institute of
		   Technology},
  number	= {2013-14},
  series	= {Karlsruhe Reports in Informatics},
  language	= {english},
  license	= {http://creativecommons.org/licenses/by-nc-nd/3.0/},
  url		= {https://publikationen.bibliothek.kit.edu/1000037606},
  urn		= {urn:nbn:de:swb:90-376067},
  issn		= {2190-4782}
}