@incollection{Bannister_2018,
    doi = {10.1007/978-3-319-94821-8_5},
    url = {https://doi.org/10.1007%2F978-3-319-94821-8_5},
    year = {2018},
    publisher = {Springer International Publishing},
    pages = {68--87},
    author = {Callum Bannister and Peter Höfner and Gerwin Klein},
    title = {Backwards and Forwards with Separation Logic},
    booktitle = {Interactive Theorem Proving}
}

@incollection{Bannister_2018, doi = {10.1007/978-3-319-94821-8_5}, url = {https://doi.org/10.1007%2F978-3-319-94821-8_5}, year = {2018}, publisher = {Springer International Publishing}, pages = {68--87}, author = {Callum Bannister and Peter Höfner and Gerwin Klein}, title = {Backwards and Forwards with Separation Logic}, booktitle = {Interactive Theorem Proving} }