DMCA

Termination analysis of integer linear loops (2005)

by Aaron R. Bradley , Zohar Manna , Henny B. Sipma
Venue:In CONCUR
Citations:34 - 3 self