Visible to the public An Introduction to Separation Logic

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

Other available formats:

An Introduction to Separation Logic
Switch to experimental viewer