Skip to content

Termination Proofs for Linear Simple Loops.

Hong Yi Chen, Shaked Flur, Supratik Mukhopadhyay

VenueBSAS
Year2012
ProceedingsSAS

Browse the full SAS paper archive.