Local reasoning for global invariants, part II: Dynamic boundaries (2013)

by A Banerjee, D A Naumann
Venue:Journal of the ACM