Event Beta
Formal Methods in Computer-Aided Design 2016
FMCAD 2016FMCAD
- Date
- 2016-10-03/06
- Place
- Mountain View, United States on the map
- Series
- Formal Methods in Computer-Aided Design
- Edition
- 16
- Attendance
- on site
- Status
- as scheduled
- Website
- http://www.fmcad.org/FMCAD16
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer hardware, computer science
- Identifier
https://id.confref.org/event/e113kda
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| 2016 Formal Methods in Computer-Aided Design, FMCAD 2016, Mountain View, CA, USA, October 3-6, 2016 | 2016 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| ConfIDent | |
| dblp |
Cite
Formal Methods in Computer-Aided Design 2016. confref identifier e113kda. https://id.confref.org/event/e113kda
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.