116
click to vote
SAS
2010
Springer
15 years 12 days ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...