Termination analysis with calling context graphs (2006)

by Panagiotis Manolios, Daron Vroon
Venue:of Lecture Notes in Computer Science