Information flow analysis in logical form (2004)

by Torben Amtoft, Anindya Banerjee
Venue:In SAS 2004 (11th Static Analysis Symposium