Beckert, Bernhard
[Other];
Grahl, Daniel
[Other];
Klebanov, Vladimir
[Other];
Scheben, Christoph
[Other];
Schmitt, Peter H.
[Other];
Ulbrich, Mattias
[Other]
;
Karlsruher Institut für Technologie Fakultät für Informatik
Information Flow in Object-Oriented Software
: Extended Version