Proving Termination by Divergence

Alan J. Hu
Zvonimir Rakamaric
Byron Cook
SEFM(2007), pp. 93-102

Abstract

Research Areas