Embracing Overapproximation for Proving Nontermination Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O’Hearn University College London ABSTRACT

First Page		Document Content
Date: 2015-03-07 12:34:01 Byron Cook Year of birth missing Termination analysis		Embracing Overapproximation for Proving Nontermination Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O’Hearn University College London ABSTRACT Add to Reading List Source URL: tinytocs.org Download Document from Source Website File Size: 85,18 KB Share Document on Facebook