Visible to the public Automatic Numeric Abstractions for Heap-Manipulating Programs

Submitted by TimTh on Thu, 06/30/2011 - 9:34am. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Automatic Numeric Abstractions for Heap-Manipulating Programs
Switch to experimental viewer