Regional logic for local reasoning about global invariants. (2008)

by A Banerjee, D A Naumann, S Rosenberg
Venue:ECOOP 2008. LNCS,