Christina Jansen, Jens Katelaan, Christoph Matheja, Thomas Noll 0001, Florian Zuleger
Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic
ESOP, 2017.
@inproceedings{ESOP-2017-JansenKMNZ,
author = "Christina Jansen and Jens Katelaan and Christoph Matheja and Thomas Noll 0001 and Florian Zuleger",
booktitle = "{Proceedings of the 24th European Symposium on Programming}",
doi = "10.1007/978-3-662-54434-1_23",
isbn = "['978-3-662-54433-4', '978-3-662-54434-1']",
pages = "611--638",
publisher = "{Springer}",
title = "{Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic}",
year = 2017,
}