DaftarIsitemplate

Call Number

Title

Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409

Author

Publisher

New York: The Association for Computing Machinery

Subject

Location