Media type: E-Article Title: Formal Verification of Object-Oriented Software: Verification of Information Flow Properties of Java Programs without Approximations Contributor: Scheben, Christoph; Schmitt, Peter H. imprint: Springer Berlin Heidelberg, 2012 Published in: Formal Verification of Object-Oriented Software Language: Not determined DOI: 10.1007/978-3-642-31762-0_15 ISSN: 0302-9743; 1611-3349 Origination: Footnote: