33rd International Conference on Computer Aided Verification (CAV)

Event name
33rd International Conference on Computer Aided Verification (CAV)
 
Event type
Event for scientific audience
 
Start date
20-07-2021
End date
23-07-2021
 
Location
Los Angeles, US
Country
United States
 
Event format Veranstaltungsformat
Online

Publications Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Elad, Neta ; Rain, Sophie ; Immerman, Neil ; Sagiv, Mooly ; Kovacs, Laura Summing up Smart TransitionsKonferenzbeitrag Inproceedings 2021