Reference

BibTeX

@string{SAS = "International Static Analysis Symposium (SAS)"}
@inproceedings{xisa-sas07,
  author = {Bor-Yuh Evan Chang and Xavier Rival and George C. Necula},
  title = { 
      Shape Analysis with Structural Invariant Checkers
     },
  booktitle = SAS,
  year = {2007},
}