Browsing "Conference Paper" Noll, Thomas
Showing results 2 to 2 of 2
< previous
| Preview | Author(s) | Title | Type | Issue Date |
|---|---|---|---|---|
 | Jansen, Christina ; Katelaan, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic | Inproceedings Konferenzbeitrag   | 2017 |