• Proof linking : an architectur...

Treffer: Proof linking : an architecture for modular verification of dynamically-linked mobile code

Title:
Proof linking : an architecture for modular verification of dynamically-linked mobile code
Authors:
Fong, Philip W. L., Cameron, Robert D.
Source:
Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering. :222-230
Availability:
http://dl.acm.org/doi/10.1145/288195.288317
Database:
ACM Full-Text Collection