20th International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Event name
20th International Conference on Formal Methods in Computer-Aided Design (FMCAD)
Start date
21-09-2020
End date
24-09-2020
Location
Haifa, Israel
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Ivrii, Alexander ; Strichman, Ofer | Trace Logic for Inductive Loop Reasoning | Konferenzbeitrag Inproceedings  | 2020 |