Record Beta
FMCAD - Formal Methods in Computer-Aided Design
https://id.confref.org/data/confident/31143
This record is part of the confref series Formal Methods in Computer-Aided Design.
| rdf:type | cf:Category_Event_Series |
|---|---|
| rdfs:label | FMCAD - Formal Methods in Computer-Aided Design |
| cf:Academic_Field | https://id.confref.org/data/confident/29115 |
| cf:Academic_Field | https://id.confref.org/data/confident/30399 |
| cf:Acronym | FMCAD |
| cf:Creation_date | 2022-09-12T07:00:06 |
| cf:DBLP_Series_ID | fmcad |
| cf:DOI | 10.25798/82dk-dh24 |
| cf:Display_Title | FMCAD - Formal Methods in Computer-Aided Design |
| cf:Has_subobject | https://id.confref.org/data/confident/31143/f66dac8317ff38dabce87c409c8e8e3a |
| cf:Maintainer_Missing | false |
| cf:Modification_date | 2023-08-21T09:30:52 |
| cf:Official_Website | https://www.fmcad.org/ |
| cf:Recurrence_Unit | year |
| cf:Title | Formal Methods in Computer-Aided Design |
| cf:WikiCFP_Series_ID | 1051 |
| cf:Wikidata_Series_ID | Q105695576 |
| cf:page | https://www.confident-conference.org/index.php/Event_Series:B971552d-88d3-4f18-a485-0b44108039be |
| cf:pageTitle | Event Series:B971552d-88d3-4f18-a485-0b44108039be |
| cr:discipline | computer hardware (wd:Q3966) |
| cr:field | Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.