Login / Signup

On Abstraction in Software Verification.

Patrick CousotRadhia Cousot
Published in: CAV (2002)
Keyphrases
  • high level
  • database
  • neural network
  • web pages
  • case study
  • multi agent systems