"Static Information Flow Analysis with Handling of Implicit Flows and a ..."

Yin Liu, Ana Milanova (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics