The following pages link to (Q3212297):
Displaying 6 items.
- Checking the correctness of memories (Q890427) (← links)
- On being incoherent without being very hard (Q1198954) (← links)
- Self-testing/correcting with applications to numerical problems (Q1317490) (← links)
- A survey on delegated computation (Q2163976) (← links)
- Mechanical Software Verification (Q2841237) (← links)
- On black-box verifiable outsourcing (Q6581787) (← links)
