The following pages link to PROSPER (Q22347):
Displaying 22 items.
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools (Q2642981) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- (Q2723448) (← links)
- (Q2751535) (← links)
- (Q2751537) (← links)
- (Q4412510) (← links)
- (Q4471938) (← links)
- (Q4484342) (← links)
- (Q4737121) (← links)
- (Q4737135) (← links)
- (Q4737561) (← links)
- (Q4787231) (← links)
- (Q4787234) (← links)
- (Q4790648) (← links)
- (Q4790649) (← links)
- (Q4808728) (← links)
- Automated Technology for Verification and Analysis (Q5394196) (← links)
- Mechanizing Mathematical Reasoning (Q5717445) (← links)
- Correct Hardware Design and Verification Methods (Q5897068) (← links)