DMCA

Automated Specification Discovery in a Combined Abstract Domain

Cached

Download Links

by Guanhua He , Shengchao Qin , Wei-ngan Chin , Chenguang Luo