Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.

Philip W. L. Fong Robert D. Cameron Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. 379-409 2000 9 ACM Trans. Softw. Eng. Methodol. 4 http://doi.acm.org/10.1145/363516.363523 db/journals/tosem/tosem9.html#FongC00