Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code (1998)

Cached

Download Links

by Philip W. L. Fong , Robert D. Cameron
Venue:In Proceedings of the Sixth ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'98
Citations:12 - 3 self