Login / Signup

Structural Abstract Interpretation: A Formal Study Using Coq.

Yves Bertot
Published in: LerNet ALFA Summer School (2008)
Keyphrases
  • databases
  • artificial intelligence
  • data management
  • model checking
  • formal specification