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.
 
Event type
Event for scientific audience
 
Start date
16-01-2022
End date
18-01-2022
 
Location
Philadelphia, Pennsylvania
Country
United States
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Ferrère, Thomas ; Henzinger, Thomas A. ; Nickovic, Dejan ; da Costa, Ana Oliveira Flavors of Sequential Information FlowKonferenzbeitrag Inproceedings2022