Login / Signup

Introducing Backward Refinement into B.

Steve Dunne
Published in: ZB (2003)
Keyphrases
  • bi directional
  • real time
  • query refinement
  • forward backward
  • databases
  • database systems