@inproceedings{ase2008-rh,
  author = {Zvonimir Rakamari\'c and Alan J. Hu},
  title = {Automatic Inference of Frame Axioms Using Static Analysis},
  booktitle = {Proceedings of the 23rd IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2008)},
  publisher = {IEEE},
  year = {2008},
  pages = {89--98},
}