Login / Signup

Reasoning About Partial Functions in the Formal Development of Programs.

Cliff B. Jones
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • knowledge based systems
  • information processing
  • information technology
  • genetic algorithm
  • source code
  • development process
  • formal model
  • st century