Pages that link to "Item:Q3559759"
From MaRDI portal
The following pages link to Click’n Prove: Interactive Proofs within Set Theory (Q3559759):
Displaying 5 items.
- Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm (Q860848) (← links)
- The RISC ProofNavigator: a proving assistant for program verification in the classroom (Q1019024) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- Incremental Parametric Development of Greedy Algorithms (Q5178994) (← links)
- Verified Compilation and the B Method: A Proposal and a First Appraisal (Q5179355) (← links)