Login / Signup

A Tool for Writing and Debugging Algebraic Specifications.

Johannes HenkelAmer Diwan
Published in: ICSE (2004)
Keyphrases
  • database
  • data mining
  • artificial intelligence
  • databases
  • programming language