Login / Signup
An Abstract Interpretation-Based Refinement Algorithm for Strong Preservation.
Francesco Ranzato
Francesco Tapparo
Published in:
TACAS (2005)
Keyphrases
</>
matching algorithm
database systems
data structure
distributed systems