Login / Signup
Embracing Overapproximation for Proving Nontermination.
Byron Cook
Carsten Fuhs
Kaustubh Nimkar
Peter W. O'Hearn
Published in:
Tiny Trans. Comput. Sci. (2015)
Keyphrases
</>
database
information retrieval systems