Closed Symbolic Execution for Verifying Program Termination.

Germn Vidal

Browse the full SCAM paper archive.