Hannes Mehnert, Jonathan Aldrich. Verification of Snapshotable Trees Using Access Permissions and Typestate. In Carlo A. Furia, Sebastian Nanz, editors, Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Volume 7304 of Lecture Notes in Computer Science, pages 187-201, Springer, 2012. [doi]
Abstract is missing.