@inproceedings{Bannister_HK_18,
    address          = {Oxford},
    author           = {Bannister, Callum and H\"{o}fner, Peter and Klein, Gerwin},
    booktitle        = {International Conference on Interactive Theorem Proving},
    date             = {2018-7-9},
    doi              = {https://doi.org/10.1007/978-3-319-94821-8\_5},
    month            = jul,
    pages            = {68--87},
    paperurl         = {https://trustworthy.systems/publications/full_text/Bannister_HK_18.pdf},
    publisher        = {Lecture Notes in Computer Science},
    title            = {Backwards and Forwards with Separation Logic},
    volume           = {10895},
    year             = {2018}
  }