DMCA

Loop invariant synthesis in a combined domain (2010)

Cached

Download Links

by Shengchao Qin , Guanhua He , Chenguang Luo , Wei-ngan Chin
Venue:IN: ICFEM
Citations:4 - 2 self