Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger. Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic. In Gilles Barthe, Konstantin Korovin, Stephan Schulz 0001, Martin Suda 0001, Geoff Sutcliffe, Margus Veanes, editors, LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018. Volume 9 of Kalpa Publications in Computing, pages 23-36, EasyChair, 2018. [doi]
Abstract is missing.