Stefan Andrei. Termination Analysis by Program Inversion. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 277-280, IEEE Computer Society, 2008. [doi]
Abstract is missing.