Media type: Text; E-Article; E-Article Title: Verification of Information Flow Properties of Java Programs without Approximations Contributor: Scheben, Christoph [Author]; Schmitt, Peter H. [Author] imprint: Karlsruher Institut für Technologie, 2011-01-01 Language: English ISSN: 2190-4782 Keywords: DATA processing & computer science Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access