Modular Verification of Concurrent Programs with Heap Download Tags: HCSS 2009 University of Cambridge Presentation Academia HCSS '09 License: CC-2.5 Submitted by Timothy Thimmesch on Fri, 07/01/2011 - 08:33