A logic for information flow in objectoriented programs (2006)

by Torben Amtoft , Sruthi Bandhakavi , Anindya Banerjee
Venue:In ACM Symposium on Principles of Programming Languages (POPL
Citations:58 - 12 self