Event Beta

Formal Methods in Computer-Aided Design 2018

Name: Formal Methods in Computer-Aided Design 2018
Start: 2018-10-30
End: 2018-11-02
Location: Austin

FMCAD 2018FMCAD

Date: 2018-10-30 to 2018-11-02
Place: Austin, United States on the map
Series: Formal Methods in Computer-Aided Design
Edition: 18
Attendance: on site
Status: as scheduled
Website: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer hardware, computer science, computer-aided design, formal methods
Identifier: https://id.confref.org/event/e10e8c2

Proceedings

Title	DOI	Year	Record
2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30 - November 2, 2018		2018	dblp

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

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/fmcad2018` · page
ConfIDent	`https://id.confref.org/data/confident/31173` · page
Wikidata	`http://www.wikidata.org/entity/Q106243590`
dblp	`https://dblp.org/db/conf/fmcad/fmcad2018`
GND	`https://d-nb.info/gnd/1182732895`

Formal Methods in Computer-Aided Design 2018. confref identifier e10e8c2. https://id.confref.org/event/e10e8c2

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.