Disambiguation evidence for Computer Aided Verification conference via surface form
"Computer Aided Verification conference"
Triples (2)
Triples where some other subject referred to this entity
as "Computer Aided Verification conference".
CAV Award
→
namedAfter
→
"Computer Aided Verification conference"
ⓘ
↳ resolves to Computer Aided Verification conference
Kenneth L. McMillan
→
presentedAt
→
"Computer Aided Verification conference"
ⓘ
↳ resolves to Computer Aided Verification conference