Combining Norms to Prove Termination.

Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon

Browse the full VMCAI paper archive.