12 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
Frank Emrich, Jera Hensel, Jürgen Giesl
Termination analysis of C programs is a challenging task. On the one hand, the analysis needs to be precise enough to draw meaningful conclusions. On the other hand, relevant progr…