Browsing "Conference Paper" Noll, Thomas
Showing results 1 to 2 of 2
| Preview | Author(s) | Title | Type | Issue Date |
|---|---|---|---|---|
| Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | SL-COMP: Competition of Solvers for Separation Logic | Konferenzbeitrag Inproceedings  | 2019 | |
 | Jansen, Christina ; Katelaan, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic | Inproceedings Konferenzbeitrag   | 2017 |