Proving Inductive Theorems Using Witnessed Test Sets.

Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu

Browse the full ICFEM paper archive.