Information flow analysis in logical form (2004)

by T Amtoft, A Banerjee
Venue:In Proc. of SAS’04