Proof Linking: A Modular Verification Architecture for Mobile Code Systems (2004)

Cached

Download Links

by Philip W. L. Fong
Venue:
Citations:9 - 5 self