Cook, B;
Fuhs, C;
Nimkar, K;
O Hearn, P;
(2014)
Disproving Termination with Overapproximation.
In:
FMCAD '14 Proceedings of theFMCAD '14 Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design 14th Conference on Formal Methods in Computer-Aided Design.
(pp. 67 - 74).
ACM