Login / Signup

Derivation of Proof Methods by Abstract Interpretation.

Giorgio LeviPaolo Volpe
Published in: PLILP/ALP (1998)
Keyphrases
  • abstract interpretation
  • databases
  • termination analysis