Login / Signup
The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4.
Michael J. C. Gordon
Matt Kaufmann
Sandip Ray
Published in:
J. Autom. Reason. (2011)
Keyphrases
</>
formal methods
software tools
image space
decision support
building blocks
factors influencing
data sets
end users
rough sets
theorem prover
social influence