@PHDTHESIS{PhD:Yahav04,
  AUTHOR =       {Eran Yahav},
  TITLE =        {Property-Guided Verification of Concurrent Heap-Manipulating Programs},
  SCHOOL =       {Tel Aviv University},
  YEAR =         {2004},
  address =      {Tel Aviv, Israel},
  month =        {October},
}