Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2)
Event name
Second International Workshop on Satisfiability Checking and Symbolic Computation (SC2)
Event type
Event for scientific audience
Start date
29-07-2017
Location
Kaiserslautern, Germany
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura | Polynomial Invariant Generation for Multi-Path Loops | Präsentation Presentation | 2017 |