Back to search
Formal Methods in Computer-Aided Design
DBLP Source:
https://dblp.uni-trier.de/db/conf/fmcad
Source: CORE2021
Rank: B
Field Of Research: 4612 - Software engineering
Source: CORE2020
Rank: Unranked
Field Of Research: 4612 - Software engineering
Source: CORE2018
Rank: Unranked
Field Of Research: 0802 - Computation Theory and Mathematics†
Field Of Research: 0906 - Electrical and Electronic Engineering†
Requested add as an unranked conference. Approved.
(
Data 1)
(
Decision)
FoR Codes with a † may be old and no longer in use
Comments (2)
Average User Rating: 4.5
Welcoming: |
4.0 |
Feedback: |
5.0 |
Networking: |
5.0 |
Interaction: |
5.0 |
Top people: |
5.0 |
Worthwhile: |
5.0 |
You must sign in to leave comments
Rating: