@inproceedings{Tuch_KN_07,
    address          = {Nice, France},
    author           = {Tuch, Harvey and Klein, Gerwin and Norrish, Michael},
    booktitle        = {ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
    editor           = {{Martin Hofmann and Matthias Felleisen}},
    isbn             = {1-59593-575-4},
    keywords         = {separation logic, c, interactive theorem proving, isabelle},
    month            = jan,
    pages            = {97--108},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/134.pdf},
    publisher        = {ACM},
    title            = {Types, Bytes, and Separation Logic},
    year             = {2007}
  }