Verifying safety policies with size properties and alias controls
- Wei-Ngan Chin
- , Siau-Cheng Khoo
- , Shengchao Qin
- , Corneliu Popeea
- , Huu Hai Nguyen
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
257
Downloads
(Pure)