Deciding Conditional Termination.

Marius Bozga, Radu Iosif, Filip Konecn

Browse the full TACAS paper archive.