Login / Signup
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.
Philip W. L. Fong
Robert D. Cameron
Published in:
ACM Trans. Softw. Eng. Methodol. (2000)
Keyphrases
</>
mobile phone
dynamic environments
location aware
real time
web services
database systems