Event Beta

21st International Conference on Verification, Model Checking, and Abstract Interpretation

Name: 21st International Conference on Verification, Model Checking, and Abstract Interpretation
Start: 2020-01-19
End: 2020-01-21
Location: New Orleans

VMCAI 2020

Date: 2020-01-19/21
Place: New Orleans, United States on the map
Series: Verification, Model User:Curator 83ecking and Abstract Interpretation
Attendance: on site
Status: as scheduled
Website: https://popl20.sigplan.org/home/VMCAI-2020
Identifier: https://id.confref.org/event/e1275df

Sources

The records of the sources that this identifier brings together (cr:sameAs).

ConfIDent	`https://id.confref.org/data/confident/21148` · page

Cite

21st International Conference on Verification, Model Checking, and Abstract Interpretation. confref identifier e1275df. https://id.confref.org/event/e1275df

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.