Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
1 paper
Bin Wu, Liyong Shen, Min Wu +2
Loop invariants play a very important role in proving correctness of programs. In this paper, we address the problem of generating invariants of polynomial loop programs. We presen…