Visible to the public Modular Verification of Concurrent Programs with Heap

Submitted by TimTh on Fri, 07/01/2011 - 9:33am. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Modular Verification of Concurrent Programs with Heap
Switch to experimental viewer