Efficient Representation and Validation of Proofs (1998)

View PDF

Download Links

by George C. Necula , Peter Lee
Citations:63 - 8 self

Document Versions

Efficient Representation and Validation of Proofs –George C. Necula, Peter Lee — 1998