Practical Methods for Proving Program Termination.

Michael Coln, Henny Sipma

Browse the full CAV paper archive.