Non-termination checking for imperative programs (2008)

by Helga Velroyen, Phillip Rümmer
Venue:Proc. of TAP 2008, LNCS 4966