Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event name
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Event type
Event for scientific audience
Start date
24-03-2012
End date
01-04-2012
Location
Tallinn, Estland
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Holzer, Andreas ; Kroening, Daniel ; Schallhart, Christian ; Tautschnig, Michael ; Veith, Helmut ; Flanagan, Cormac ; König, Barbara | Proving Reachability Using FShell | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Cook, Byron ; See, Abigail ; Zuleger, Florian | Ramsey vs. Lexicographic Termination Proving | Konferenzbeitrag Inproceedings | 2013 |