Tibor Kiss, Florin Craciun, Bazil Pârv. Verification of protocol specifications with Separation Logic. In IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2015, Cluj-Napoca, Romania, September 3-5, 2015. pages 109-116, IEEE, 2015. [doi]
Abstract is missing.