Disambiguation evidence for Computer Aided Verification conference via surface form
"computer-aided verification"
Triples (1)
Triples where some other subject referred to this entity
as "computer-aided verification".
Computer Aided Verification conference
→
field
→
"computer-aided verification"
ⓘ
↳ resolves to Computer Aided Verification conference