Login / Signup
Quantum entanglement analysis based on abstract interpretation
Simon Perdrix
Published in:
CoRR (2008)
Keyphrases
</>
abstract interpretation
static analysis
database
high level
data model
software engineering
termination analysis