Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.

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

Browse the full ESOP paper archive.