Harrsh: A Tool for Unied Reasoning about Symbolic-Heap Separation Logic

(2018) [Contribution to a book, Contribution to a conference proceedings]

13th International Workshop on the Implementation of Logics (IWIL 2018)
Page(s): 23-36

Authors

Authors

Katelaan, Jens
Matheja, Christoph
Noll, Thomas
Zuleger, Florian

Identifier