Integrating static analysis and general-purpose theorem proving for termination analysis (2006)

by Panagiotis Manolios, Daron Vroon
Venue:In ICSE’06, The 28th International Conference on Softwar Engineering, Emerging Results. ACM