Noll, Thomas
Full name Familienname, Vorname
Noll, Thomas
Results 1-1 of 1 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | ![]() | Jansen, Christina ; Katelaan, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | Unified Reasoning About Robustness Properties of Symbolic-Heap Separation Logic | Inproceedings Konferenzbeitrag | 2017 |