DMCA

Loop Invariant Synthesis in a Combined Abstract Domain (2012)

by Shengchao Qin , Guanhua He , Chenguang Luo , Wei-ngan Chin , Xin Chen
Citations:1 - 0 self