@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} }