Inductive Termination Proofs with Transition Invariants and Their Relationship to the Size-Change Abstraction.

Florian Zuleger

Browse the full SAS paper archive.