M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine. Diagrammatic Reasoning in Separation Logic. In Gem Stapleton, John Howse, John Lee, editors, Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Volume 5223 of Lecture Notes in Computer Science, pages 408-411, Springer, 2008. [doi]
@inproceedings{RidsdaleJBB08,
title = {Diagrammatic Reasoning in Separation Logic},
author = {M. Ridsdale and Mateja Jamnik and Nick Benton and Josh Berdine},
year = {2008},
doi = {10.1007/978-3-540-87730-1_50},
url = {http://dx.doi.org/10.1007/978-3-540-87730-1_50},
tags = {logic},
researchr = {https://researchr.org/publication/RidsdaleJBB08},
cites = {0},
citedby = {0},
pages = {408-411},
booktitle = {Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings},
editor = {Gem Stapleton and John Howse and John Lee},
volume = {5223},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-87729-5},
}