Venue (Conference)
Computer Aided Verification
44
Publications
991
Citations
29
Concepts
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 6 | 6 | 857 |
2 | Computer Science | 5 | 5 | 844 |
3 | Computer Engineering | 3 | 3 | 625 |
4 | Language Studies | 1 | 1 | 13 |
5 | Linguistics | 1 | 1 | 13 |
Computer Aided Verification
×
44
Publications
991
Citations
Showing yearly statistics from 2000-2026.
| Year | Citations | |
|---|---|---|
Page 1
Page 1