A Scalable Architecture for Proof-Carrying Code (2001)

Cached

Download Links

by George C. Necula
Venue:In Fifth International Symposium on Functional and Logic Programming, Waseda
Citations:12 - 1 self