Efficient Representation and Validation of Proofs (1998)

Cached

Download Links

by George C. Necula , Peter Lee
Citations:60 - 7 self