Event Beta

7th International Symposium on Automated Technology for Verification and Analysis

Name: 7th International Symposium on Automated Technology for Verification and Analysis
Start: 2009-10-14
End: 2009-10-16
Location: Macau

ATVA 2009

Date: 2009-10-14/16
Place: Macau, People's Republic of China
Attendance: on site
Status: as scheduled
Website: http://www.iist.unu.edu/atva09
Identifier: https://id.confref.org/event/e12fkm2

Sources

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

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

Cite

7th International Symposium on Automated Technology for Verification and Analysis. confref identifier e12fkm2. https://id.confref.org/event/e12fkm2

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.