Information Flow in Object-Oriented Software – Extended Version –

Technical Report

Author(s):Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich
Institution:Department of Informatics, Karlsruhe Institute of Technology
Series:Karlsruhe Reports in Informatics
Year:2013
Number:2013-14
URL:http://digbib.ubka.uni-karlsruhe.de/volltexte/1000037606

BibTeX

@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		= {http://digbib.ubka.uni-karlsruhe.de/volltexte/1000037606},
  urn		= {urn:nbn:de:swb:90-376067},
  issn		= {2190-4782}
}