Refinement to Imperative/HOL.

Published in: ITP (2015)

Keyphrases

theorem prover
formal methods
natural deduction
theorem proving
real time
learning algorithm
information systems
image processing
expert systems
refinement process