Memory Usage Verification for OO Programs
- Wei-Ngan Chin
- , Huu Hai Nguyen
- , Shengchao Qin
- , Martin Rinard
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
146
Downloads
(Pure)