@inproceedings{Meng_PK_07,
    address          = {Bremen, Germany},
    author           = {Meng, Jia and Paulson, Lawrence C. and Klein, Gerwin},
    booktitle        = {International Verification Workshop},
    editor           = {{Bernhard Beckert}},
    issn             = {1613-0073},
    month            = jul,
    pages            = {104--118},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/133.pdf},
    publisher        = {CEUR Workshop Proceedings},
    series           = {CEUR Workshop Proceedings},
    title            = {A Termination Checker for Isabelle Hoare Logic},
    volume           = {259},
    year             = {2007}
  }