DMCA

Automatic Numeric Abstractions for Heap-Manipulating Programs (2010)

Cached

Download Links

by Stephen Magill , Ming-hsien Tsai , Peter Lee , Yih-kuen Tsay
Citations:31 - 2 self