Verifying safety policies with size properties and alias controls

@inproceedings{Chin2005VerifyingSP,
  title={Verifying safety policies with size properties and alias controls},
  author={Wei-Ngan Chin and Siau-Cheng Khoo and Shengchao Qin and Corneliu Popeea and Huu Hai Nguyen},
  booktitle={ICSE},
  year={2005}
}
Highly Cited
This paper has 42 citations. REVIEW CITATIONS