@inproceedings{Bannister_Hoefner_18,
    address          = {Groningen},
    author           = {Bannister, Callum and Höfner, Peter},
    booktitle        = {17th International Conference on Relational and Algebraic Methods in Computer Science},
    date             = {2018-10-29},
    doi              = {https://doi.org/10.1007/978-3-030-02149-8\_16},
    editor           = {{Stef Joosten, Jules Desharnais, Walter Guttmann}},
    keywords         = {separation logic; generalised correctness; forward reasoning},
    month            = oct,
    pages            = {263-279},
    paperurl         = {https://trustworthy.systems/publications/full_text/Bannister_Hoefner_18.pdf},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {False Failure: Creating Failure Models for Separation Logic},
    volume           = {11194},
    year             = {2018}
  }