Abstraction refinement for termination. (2005)

by B Cook, A Podelski, A Rybalchenko
Venue:In SAS,