Work

Verifying computations without reexecuting them: from theoretical possibility to near-practicality.

Year: 2013
Type: preprint
Language: English
Open Access status: closed
OpenAlex ID: W2404353777
Cites: 61
Cited by: 29
Related to: 10