Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Event Beta

Verified Software: Theories, Tools, and Experiments 2008

VSTTE 2008
Date
2008-10-06/09
Place
Toronto, Canada on the map
Attendance
on site
Status
as scheduled
Website
http://qpq.csl.sri.com/vsr/vstte-08
Academic field
Natural sciences: Mathematics
Disciplines
software verification
Identifier
https://id.confref.org/event/e1274wh

Sources

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

ConfIDent

Cite

Verified Software: Theories, Tools, and Experiments 2008. confref identifier e1274wh. https://id.confref.org/event/e1274wh

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.