@InProceedings{LamKuncakRinard05HobDemo,
  author =       {Patrick Lam and Viktor Kuncak and Martin Rinard},
  title =        {{Hob}: A Tool for Verifying Data Structure Consistency},
  booktitle =    {Proceedings of the 14th International Conference on Compiler Construction},
  year =         {2005},
  pages =        {237--241}
}