
@incollection{greenaway_bridging_2012,
  series = {Lecture Notes in Computer Science},
  title = {Bridging the Gap: Automatic Verified Abstraction of {C}},
  shorttitle = {Bridging the Gap},
  booktitle = {Interactive Theorem Proving},
  publisher = {Springer},
  author = {Greenaway, David and Andronick, June and Klein, Gerwin},
  month = jan,
  year = {2012},
  pages = {99--115},
}
