Proving Termination of C Programs with Lists.

Jera Hensel, Jrgen Giesl

Browse the full CADE paper archive.