Integrating static analysis and general-purpose theorem proving for termination analysis.

Panagiotis Manolios, Daron Vroon

Browse the full ICSE paper archive.