Efficient Representation and Validation of Proofs.

George C. Necula, Peter Lee

Browse the full LICS paper archive.