H.B.: Termination analysis of integer linear loops. (2005)

by A R Bradley, Z Manna, Sipma
Venue:In: CONCUR. LNCS,