@conference {598, title = {Information Flow in Object-Oriented Software}, booktitle = {Proceedings of the 24th International Symposium on Logic Based Program Synthesis and Transformation (LOPSTR)}, year = {2014}, author = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov and Christoph Scheben and Peter H. Schmitt and Matthias Ulbrich} } @conference {599, title = {The KeY Platform for Verification and Analysis of Java Programs}, booktitle = {Proceedings of the 6th Working Conference on Verified Software: Theories, Tools, and Experiments}, year = {2014}, author = {Wolfgang Ahrendt and Bernhard Beckert and Daniel Bruns and Richard Bubel and Christoph Gladisch and Sarah Grebing and Reiner H{\"a}hnle and Martin Henschel and Mihai Herda and Vladimir Klebanov and Wojciech Mostowski and Christoph Scheben and Peter~H. Schmitt and Mattias Ulbrich} }