Information flow analysis in logical form (2004)

by T Amtoft, A Banerjee
Venue:11th Static Analysis Symposium, LNCS3184