Disambiguation evidence for Computer Aided Verification conference via surface form
"International Conference on Computer Aided Verification"
Triples (1)
Triples where some other subject referred to this entity
as "International Conference on Computer Aided Verification".
CAV Award
→
presentedAt
→
"International Conference on Computer Aided Verification"
ⓘ
↳ resolves to Computer Aided Verification conference