Venue (Conference)
Formal Methods in Computer-Aided Design
190
Publications
2.2K
Citations
101
Concepts
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 27 | 52 | 2K |
2 | Computer Science | 26 | 49 | 1.9K |
3 | Computer Engineering | 23 | 40 | 1.6K |
4 | Social Sciences | 1 | 1 | 10 |
5 | Behavioral Sciences | 1 | 1 | 10 |
Formal Methods in Computer-Aided Design
×
190
Publications
2.2K
Citations
Showing yearly statistics from 2000-2026.
| Year | Citations | |
|---|---|---|
Page 1
Page 1