Venue (Conference)
Verification, Model Checking and Abstract Interpretation
30
Publications
441
Citations
43
Concepts
| # | Concept | H-Index | Publications | Citations |
|---|---|---|---|---|
1 | Engineering | 12 | 14 | 395 |
2 | Computer Engineering | 4 | 4 | 68 |
3 | Language Studies | 1 | 1 | 18 |
4 | Biology | 1 | 1 | 34 |
5 | Communication | 1 | 1 | 38 |
Verification, Model Checking and Abstract Interpretation
×
30
Publications
441
Citations
Showing yearly statistics from 2000-2026.
| Year | Citations | |
|---|---|---|
Page 1
Page 1