@inproceedings{Greenaway_LAK_14,
    address          = {Edinburgh, UK},
    author           = {Greenaway, David and Lim, Japheth and Andronick, June and Klein, Gerwin},
    booktitle        = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
    doi              = {10.1145/2594291.2594296},
    keywords         = {c verification; isabelle/hol},
    month            = jun,
    pages            = {429--439},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7629.pdf},
    publisher        = {ACM},
    title            = {Don't Sweat the Small Stuff: Formal Verification of {C} Code Without the Pain},
    year             = {2014}
  }