International Static Analysis Symposium
Event name
International Static Analysis Symposium
Start date
14-09-2011
End date
16-09-2011
Location
Venice, Italy
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut ; Yahav, Eran | Bound Analysis of Imperative Programs with the Size-Change Abstraction | Konferenzbeitrag Inproceedings | 2011 |