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