Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Browse the full LOPSTR paper archive.