Difference between revisions of "Event:VMCAI 2020"

From ConfIDent
(mobo import Concept___Event_For_Confident-migrated_2)
 
m (Text replacement - "[ \s]User:Curator 83" to " Ch")
Line 1: Line 1:
 
{{Event
 
{{Event
 
|Acronym=VMCAI 2020
 
|Acronym=VMCAI 2020
−
|Title=21st International Conference on Verification, Model User:Curator 83ecking, and Abstract Interpretation
+
|Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
 
|Type=Conference
 
|Type=Conference
 
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020
 
|Homepage=https://popl20.sigplan.org/home/VMCAI-2020

Revision as of 12:46, 7 July 2022

Retrieved from "https://www.confident-conference.org:443/index.php?title=Event:VMCAI_2020&oldid=29179"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information