25th International Conference, TACAS 2019
Book title Buchtitel
25th International Conference, TACAS 2019
Publisher Herausgeber
Springer
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Pagel, Jens ; Matheja, Christoph ; Zuleger, Florian | Effective Entailment Checking for Separation Logic with Inductive Definitions | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Sighireanu, Mihaela ; Pagel, Jens ; Matheja, Christoph ; Noll, Thomas ; Zuleger, Florian | SL-COMP: Competition of Solvers for Separation Logic | Konferenzbeitrag Inproceedings | 2019 |