Event Beta

Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002

Name: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002
Start: 2002-01-01
End: 2002-01-01
Location: Grenoble

COCV

Date: 2002-01-01
Place: Grenoble, France on the map
Series: Workshop on Compiler Optimization Meets Compiler Verification (COCV)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e10wtaq

Proceedings

Title	DOI	Year	Record
Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002 Electronic Notes in Theoretical Computer Science 65		2002	dblp

Sources

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/cocv2002` · page
dblp	`https://dblp.org/db/conf/cocv/cocv2002`

Cite

Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002. confref identifier e10wtaq. https://id.confref.org/event/e10wtaq

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.