Mechanized Verification with Sharing.

J. Gregory Malecha, Greg Morrisett

Browse the full ICTAC paper archive.