Event Beta

Correctness 2017 : First International Workshop on Software Correctness for HPC Applications

Name: Correctness 2017 : First International Workshop on Software Correctness for HPC Applications
Start: 2017-11-12
End: 2017-11-12
Location: Denver

Correctness 2017

Date: 2017-11-12
Place: Denver, United States on the map
Attendance: on site
Status: as scheduled
Website: https://correctness-workshop.github.io/2017/
Academic field: Natural sciences: Mathematics
Disciplines: formal methods
Identifier: https://id.confref.org/event/e12g24h

Sources

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

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

Cite

Correctness 2017 : First International Workshop on Software Correctness for HPC Applications. confref identifier e12g24h. https://id.confref.org/event/e12g24h

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.