A logical analysis of framing for specifications with pure method calls (2014)

by A Banerjee, D Naumann
Venue:Verified Software: Theories, Tools and Experiments, Lecture Notes in Computer Science