@inproceedings{Greenaway_AK_12,
    address          = {Princeton, New Jersey, USA},
    author           = {Greenaway, David and Andronick, June and Klein, Gerwin},
    booktitle        = {International Conference on Interactive Theorem Proving},
    doi              = {10.1007/978-3-642-32347-8_8},
    editor           = {{Lennart Beringer and Amy Felty}},
    keywords         = {c verification, abstraction, refinement},
    month            = aug,
    pages            = {99--115},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5662.pdf},
    publisher        = {Springer},
    title            = {Bridging the Gap: Automatic Verified Abstraction of {C}},
    year             = {2012}
  }