Proving termination of imperative programs using Max-SMT (2013)

by D Larraz, A Oliveras, E Rodŕıguez-Carbonell, A Rubio
Venue:In Proc. FMCAD’13