Alternation for Termination.

William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani

Browse the full SAS paper archive.