Event Based Reasoning - A System for Proving Correct Termination of Programs.

J. Schwarz

Browse the full ICALP paper archive.