![Byron Cook / Year of birth missing / Termination analysis Byron Cook / Year of birth missing / Termination analysis](https://www.pdfsearch.io/img/97ad61cc53a0d8f4507832b8e5bb010e.jpg) Date: 2015-03-07 12:34:01Byron Cook Year of birth missing Termination analysis | | Embracing Overapproximation for Proving Nontermination Byron Cook, Carsten Fuhs, Kaustubh Nimkar, Peter O’Hearn University College London ABSTRACTAdd to Reading ListSource URL: tinytocs.orgDownload Document from Source Website File Size: 85,18 KBShare Document on Facebook
|