First Page | Document Content | |
---|---|---|
Date: 2007-07-09 05:41:32 | Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0Add to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source WebsiteFile Size: 555,09 KBShare Document on Facebook |