Termination of polynomial programs (2005)

by Aaron R. Bradley , Zohar Manna , Henny B. Sipma
Venue:In VMCAI’2005: Verification, Model Checking, and Abstract Interpretation, volume 3385 of LNCS
Citations:52 - 4 self