Login / Signup
Inverse-limit and topological aspects of abstract interpretation.
David A. Schmidt
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
abstract interpretation
termination analysis
static analysis
active rules
management system
model checking