Login / Signup
An Abstract Interpretation framework for genotype elimination algorithms.
Giuseppe Lettieri
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
abstract interpretation
case study
model checking
static analysis