Publications

Publications for Florian Zuleger

2018
DOI
[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.
2017
DOI
[bibtex]
Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger. Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic. Proc. ESOP 2017, Volume 10201 of LNCS, pages 611–638, Springer, 2017.
Show all