Aleksy Schubert, Jacek Chrzaszcz. ESC/Java2 as a Tool to Ensure Security in the Source Code of Java Applications. In Krzysztof Sacha, editor, Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. Volume 227 of IFIP, pages 337-348, Springer, 2006. [doi]
Abstract is missing.