Fingerprint
Dive into the research topics of 'Multiple pre/post specifications for heap-manipulating methods'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Multiple pre/post specifications for heap-manipulating methods
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
171
Downloads
(Pure)