The following pages link to (Q3154457):
Displayed 12 items.
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Logic of secrets in collaboration networks (Q716496) (← links)
- An independence relation for sets of secrets (Q965899) (← links)
- Operating system verification---an overview (Q1040002) (← links)
- Why do informal proofs conform to formal norms? (Q2271071) (← links)
- Mathematics and argumentation (Q2271083) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- An Independence Relation for Sets of Secrets (Q3638291) (← links)
- Computing and the cultures of proving (Q5301848) (← links)
- Panelist position statement: logic and models in computer science (Q5301854) (← links)