Verifying safety policies with size properties and alias controls.

Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen

Browse the full ICSE paper archive.