Login / Signup
Abstract Interpretation for Uniform Proof Systems.
Paolo Volpe
Published in:
APPIA-GULP-PRODE (1996)
Keyphrases
</>
abstract interpretation
management system
distributed systems
information systems
termination analysis