Efficient Representation and Validation of Logical Proofs (1997)

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