Login / Signup

Validating the Unit Correctness of Spreadsheet Programs.

Tudor AntoniuPaul A. StecklerShriram KrishnamurthiErich NeuwirthMatthias Felleisen
Published in: ICSE (2004)
Keyphrases
  • provably correct
  • web services
  • databases
  • computer programs
  • neural network
  • information retrieval
  • genetic algorithm
  • video sequences
  • multi agent systems
  • fixpoint
  • automatic programming
  • microsoft excel
  • control program