@inproceedings{Bannister_HK_18, address = {Oxford}, author = {Bannister, Callum and Hö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} }