VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation.
Event name
VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation.
Start date
16-01-2022
End date
18-01-2022
Location
Philadelphia, Pennsylvania, United States
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira | Flavors of Sequential Information Flow | Konferenzbeitrag Inproceedings | 2022 |