Login / Signup

Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.

Mireille DucasséLaurence Rozé
Published in: LOPSTR (1999)
Keyphrases
  • databases
  • global consistency
  • dynamic programming
  • object oriented
  • spatial information