International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS)
Event name
International Seminar on Program Verification, Automated Debugging and Symbolic Computation (PAS)
Event type
Event for scientific audience
Start date
10-10-2012
End date
12-10-2012
Location
Beijing, China
Country
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kovacs, Laura | Symbol Elimination in Program Analysis | Präsentation Presentation | 2012 |