@inproceedings{Matichuk_12,
    address          = {Sydney, Australia},
    author           = {Matichuk, Daniel},
    booktitle        = {Systems Software Verification},
    keywords         = {isabelle vcg hoare logic annotations},
    month            = nov,
    pages            = {10},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6330.pdf},
    title            = {Automatic Function Annotations for Hoare Logic},
    year             = {2012}
  }