A logic and decision procedure for predicate abstraction of heap-manipulating programs (2005)

Cached

Download Links

by Jesse Bingham , Zvonimir Rakamarić
Venue:UBC Dept. Comp. Sci
Citations:21 - 4 self