Embracing Overapproximation for Proving Nontermination

Download PDF

Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter W. O'Hearn

Published: 2015, Last Modified: 16 May 2025Adv. Math. Commun. 2015EveryoneRevisionsBibTeXCC BY-SA 4.0