Work

Taking Proof based Verified Computation a Few Steps Closer to Practicality (extended version)

Year: 2012
Type: preprint
Language: English
Open Access status: closed
OpenAlex ID: W2395243566
Cites: 51
Cited by: 6
Related to: 10