Refinement to Imperative HOL.

Published in: J. Autom. Reason. (2019)

Keyphrases

theorem prover
formal methods
neural network
artificial intelligence
learning environment
digital libraries
image retrieval
query refinement
natural deduction
step wise