@InProceedings{Meng_PK_07,
  author =       {Jia Meng and Lawrence C. Paulson and Gerwin Klein},
  title =        {A Termination Checker for Isabelle Hoare Logic},
  booktitle =    {4th International Verification Workshop - VERIFY'07},
  editor =       {Bernhard Beckert},
  pages =        {104--118},
  year =         {2007},
  address =      {Bremen, Germany},
  month =        jul,
  volume =       {259},
  series =       {CEUR Workshop Proceedings},
  issn =         {1613-0073},
}