8 citations · 19 across the 21 of their papers we have counts for
1 paper · 1 filter
Silvia Steila, Keita Yokoyama
In 2004 Podelski and Rybalchenko expressed the termination of transition-based programs as a property of well-founded relations. The classical proof by Podelski and Rybalchenko req…