The following pages link to (Q4012877):
Displaying 7 items.
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- Set theory for verification. I: From foundations to functions (Q1319386) (← links)
- Proving Ramsey's theory by the cover set induction: A case and comparision study. (Q1353938) (← links)
- A Ramsey theorem in Boyer-Moore logic (Q1904403) (← links)
- Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem (Q1915139) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- (Q3773394) (← links)