Termination analysis of imperative programs using bitvector arithmetic. In: VSTTE, (2012)

by S Falke, D Kapur, C Sinz
Venue:Lecture Notes in Computer Science,