Sign in

Reasoning about Pointers in Refinement Calculus.

Ralph-Johan BackXiaocong FanViorel Preoteasa
Published in: APSEC (2003)
Keyphrases
  • qualitative spatial
  • spatial reasoning
  • qualitative spatial reasoning
  • computer algebra
  • refinement process
  • algebraic structure
  • databases
  • qualitative reasoning
  • formal theory
  • e learning
  • case study
  • provably correct