Login / Signup

Abstract Interpretation and Application to Interactive System Verification.

Baudouin Le Charlier
Published in: DSV-IS (1996)
Keyphrases
  • abstract interpretation
  • model checking
  • database
  • web services
  • database systems
  • relational databases
  • object oriented