Concurrent Separation Logic Download Tags: HCSS 2009 Queen Mary University of London Presentation Program HCSS '09 License: CC-2.5 Submitted by Timothy Thimmesch on Fri, 07/01/2011 - 08:54