Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic (bibtex)
by Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger
Reference:
Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation LogicJens Katelaan, Christoph Matheja, Thomas Noll, Florian ZulegerProceedings of the 13th International Workshop on the Implementation of Logics (IWIL), 2018.
Bibtex Entry:
@InProceedings{katelaan2018harrsh,
Title = {Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic},
Author = {Katelaan, Jens and Matheja, Christoph and Noll, Thomas and Zuleger, Florian},
Booktitle = {Proceedings of the 13th International Workshop on the Implementation of Logics (IWIL)},
Year = {2018}
}
Powered by bibtexbrowser