%0 Conference Paper %1 conf/esop/JansenKMNZ17 %A Jansen, Christina %A Katelaan, Jens %A Matheja, Christoph %A Noll, Thomas %A Zuleger, Florian %B ESOP %D 2017 %E Yang, Hongseok %I Springer %K %P 611-638 %T Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic. %U http://dblp.uni-trier.de/db/conf/esop/esop2017.html#JansenKMNZ17 %V 10201 %@ 978-3-662-54434-1

@inproceedings{conf/esop/JansenKMNZ17, added-at = {2023-12-13T05:59:18.000+0100}, author = {Jansen, Christina and Katelaan, Jens and Matheja, Christoph and Noll, Thomas and Zuleger, Florian}, biburl = {https://www.bibsonomy.org/bibtex/28d78f3440c38489dc23ed95a257ce829/admin}, booktitle = {ESOP}, crossref = {conf/esop/2017}, editor = {Yang, Hongseok}, ee = {https://doi.org/10.1007/978-3-662-54434-1_23}, interhash = {a8fba182e7ecdfbd0b88ede62ad2933d}, intrahash = {8d78f3440c38489dc23ed95a257ce829}, isbn = {978-3-662-54434-1}, keywords = {}, pages = {611-638}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:59:18.000+0100}, title = {Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2017.html#JansenKMNZ17}, volume = 10201, year = 2017 }