We're sorry but ourresearch-website-2 doesn't work properly without JavaScript enabled. Please enable it to continue.
OpenAlex
Log in
Sign up
back
Computer Aided Verification
Source
View works
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
View all
Key stats
year
open access
topic
type
