Login / Signup
Verification of Erlang Programs using Abstract Interpretation and Model Mhecking.
Frank Huch
Published in:
ICFP (1999)
Keyphrases
</>
agent model
high level
query processing
knowledge representation