OpenAlex
Computer Aided Verification
Source
Source type: conference
Fully open access: No
In DOAJ: No
2yr mean citedness:
H-index: 34
I10-index: 70
Works count: 59
Citations count: 1,427
Top works
Key stats
year
open access
topic
type