DMCA

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Cached

Download Links

by Shengchao Qin , Chenguang Luo , Guanhua He , Florin Craciun , Wei-ngan Chin
Citations:2 - 1 self