24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event name
24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Start date
14-04-2018
End date
20-04-2018
Location
Thessaloniki, Greece
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Reger, Giles ; Suda, Martin ; Voronkov, Andrei ; Beyer, Dirk ; Huisman, Marieke | Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning | Konferenzbeitrag Inproceedings  | 2018 |