Information flow analysis in logical form

by Torben Amtoft , Anindya Banerjee
Venue:George Mason University
Citations:33 - 5 self