Publications for Jens Katelaan
| 2019 | |
|---|---|
 [bibtex] | Jens Katelaan, Christoph Matheja, Florian Zuleger. Effective Entailment Checking for Separation Logic with Inductive Definitions. TACAS, Volume 11428 of LNCS, pages 319-336, Springer, 2019. |
| 2018 | |
[bibtex] | Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic. 13th International Workshop on the Implementation of Logics (IWIL 2018), Volume 9 of Kalpa Publications in Computing, pages 23–36, , 2018. |
| Show all | |