@inproceedings{CBYO-SAW02,
  title = "{S}{A}{W}: the spatial assertion workbench",
  author = "Cristiano Calcagno and Josh Berdine and Hongseok Yang and Peter W. O'Hearn",
  year = "2002",
  address = "Birmingham",
  booktitle = "Proceedings of the 2nd Workshop on Automated Verification of Critical Systems",
  month = "April",
}