Abstraction-refinement for termination (2005)

by B Cook, A Podelski, A Rybalchenko
Venue:In Static Analysis Symposium (SAS), volume 3672 of LNCS