Event Beta

19th International Conference on Verification, Model Checking, and Abstract Interpretation

Name: 19th International Conference on Verification, Model Checking, and Abstract Interpretation
Start: 2018-01-07
End: 2018-01-09
Location: Los Angeles

VMCAI 2018

Date: 2018-01-07/09
Place: Los Angeles, United States on the map
Series: Verification, Model User:Curator 83ecking and Abstract Interpretation
Attendance: on site
Status: as scheduled
Website: https://popl18.sigplan.org/track/VMCAI-2018
Identifier: https://id.confref.org/event/e1275g8

Sources

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

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

Cite

19th International Conference on Verification, Model Checking, and Abstract Interpretation. confref identifier e1275g8. https://id.confref.org/event/e1275g8

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.