Report copyright - © 2009 Microsoft Corporation. All rights reserved. Automatic Verification of Heap Manipulation using Separation Logic Josh Berdine with thanks to Byron
Please pass captcha verification before submit form
Please pass captcha verification before submit form