DaftarIsitemplate

Call Number

SEM-374

Title

Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning (405-424)

Author

Long H. Pham Jun Sun Quang Loc Le;

Publisher

Subject

Location