Event Beta
Formal Methods in Computer-Aided Design 2015
FMCAD 2015FMCAD
- Date
- 2015-09-27/30
- Place
- Austin, United States on the map
- Series
- Formal Methods in Computer-Aided Design
- Edition
- 15
- Attendance
- on site
- Status
- as scheduled
- Website
- http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer hardware, computer science
- Identifier
https://id.confref.org/event/e113kcc
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Formal Methods in Computer-Aided Design, FMCAD 2015, Austin, Texas, USA, September 27-30, 2015. | 2015 | dblp |
Where the sources disagree
- start date: confident: 2015-09-27; confref-portal: 2015-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
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 2015. confref identifier e113kcc. https://id.confref.org/event/e113kcc
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.