Back to Results
First PageMeta Content
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

Document Date: 2015-03-07 12:34:01

Open Document

File Size: 85,18 KB

Share Result on Facebook

Company

Creative Commons / /

Facility

Peter O’Hearn University College / /

Organization

University College London / /

Person

Carsten Fuhs / Ashutosh Gupta / Hong-Yi Chen / Thomas A. Henzinger / Byron Cook / Andrey Rybalchenko / Ru-Gang Xu / Rupak Majumdar / /

URL

http /

SocialTag