Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking (2000)

Cached

Download Links

by Philip W. L. Fong , Robert D. Cameron
Venue:ACM Transactions on Software Engineering and Methodology
Citations:17 - 10 self