Login / Signup
Derivation of Proof Methods by Abstract Interpretation.
Giorgio Levi
Paolo Volpe
Published in:
APPIA-GULP-PRODE (1998)
Keyphrases
</>
high level
query language