Event Beta

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

Name: 18th International Conference on Verification, Model Checking, and Abstract Interpretation
Start: 2017-01-15
End: 2017-01-17
Location: Paris

VMCAI 2017

Date: 2017-01-15/17
Place: Paris, France on the map
Series: Verification, Model User:Curator 83ecking and Abstract Interpretation
Attendance: on site
Status: as scheduled
Website: https://conf.researchr.org/home/VMCAI-2017
Identifier: https://id.confref.org/event/e1275h6

Sources

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

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

Cite

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

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.