Proving conditional termination (2008)

by B Cook, S Gulwani, T Lev-Ami, A Rybalchenko, M Sagiv
Venue:In Proc. CAV-20