33rd International Conference on Computer Aided Verification (CAV)
Event name
33rd International Conference on Computer Aided Verification (CAV)
Start date
20-07-2021
End date
23-07-2021
Location
Los Angeles, US
Country
Event format Veranstaltungsformat
Online
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura ; Silva, Alexandra ; Leino, Rustan | Summing up Smart Transitions | Konferenzbeitrag Inproceedings  | 2021 |