DMCA

Termination Analysis of Imperative Programs Using Bitvector Arithmetic (2012)

by Stephan Falke , Deepak Kapur , Carsten Sinz
Citations:4 - 0 self