127
click to vote
SAS
2010
Springer
15 years 1 months 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...