DMCA

Automatically Refining Partial Specification for Program Verification (2010)

Cached

Download Links

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