@phdthesis{Greenaway:phd,
    address          = {Sydney, Australia},
    author           = {Greenaway, David},
    keywords         = {isabelle/hol, c verification, autocorres},
    month            = mar,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8758.pdf},
    school           = {CSE, UNSW},
    title            = {Automated proof-producing abstraction of C code},
    year             = {2015}
  }