Stan Rosenberg, Anindya Banerjee, David A. Naumann. Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients. In Gary T. Leavens, Peter W. O Hearn, Sriram K. Rajamani, editors, Verified Software: Theories, Tools, Experiments, Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings. Volume 6217 of Lecture Notes in Computer Science, pages 183-198, Springer, 2010. [doi]
Abstract is missing.