Back to Results
First PageMeta Content



Proof Procedures for Separated Heap Abstractions Josh Berdine, Cristiano Calcagno, Peter O’Hearn 1 July, 2007 (Canada day) Part 0
Add to Reading List

Document Date: 2007-07-09 05:41:32


Open Document

File Size: 555,09 KB

Share Result on Facebook
UPDATE