13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Event name
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)
Event type
Event for scientific audience
Start date
26-09-2011
End date
29-09-2011
Location
Timisoara, Romania
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Date issued
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura ; Voronkov, Andrei | Invariant Generation using Theorem Proving | Präsentation Presentation | 2011 | |
| 2 | Kovacs, Laura | Program Assertion Synthesis using Symbolic Computation | Präsentation Presentation | 2011 | |
| 3 | Kovacs, Laura ; Wang, Dongming ; Negru, Viorel ; Ida, Tetsuo ; Jebelean, Tudor ; Petcu, Dana ; Watt, Stephen M. ; Zaharie, Daniela | Symbol Elimination in Program Analysis | Konferenzbeitrag Inproceedings | 2012 |