Login / Signup
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique.
Diyaa-Addein Atiya
Steve King
Jim Woodcock
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
complete axiomatization
data mining
artificial neural networks
real time
databases
similarity measure
image retrieval
mobile robot
theorem proving
imperative programs