Login / Signup
Mechanizing Program Verification in HOL.
Sten Agerholm
Published in:
TPHOLs (1991)
Keyphrases
</>
theorem prover
natural deduction
formal methods
higher order logic
data mining
higher order
markov random field
orders of magnitude