Disambiguation evidence for Computer Aided Verification conference via surface form
"Computer Aided Verification (CAV)"
Triples (1)
Triples where some other subject referred to this entity
as "Computer Aided Verification (CAV)".
Ken McMillan
→
notableConference
→
"Computer Aided Verification (CAV)"
ⓘ
↳ resolves to Computer Aided Verification conference