(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "=User:Curator 83" to "=Ch") |
||
| Line 5: | Line 5: | ||
|Type=Conference | |Type=Conference | ||
|Field=Computer-Aided Verification | |Field=Computer-Aided Verification | ||
| − | |City= | + | |City=Chicago |
|State=Illinois | |State=Illinois | ||
|Country=USA | |Country=USA | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
