Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich. Information Flow in Object-Oriented Software. In Gopal Gupta, Ricardo Peña, editors, Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Volume 8901 of Lecture Notes in Computer Science, pages 19-37, Springer, 2013. [doi]
Abstract is missing.