Disambiguation evidence for Computer Aided Verification conference via surface form
"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
Triples (1)
Triples where some other subject referred to this entity
as "International Conference on Tools and Algorithms for the Construction and Analysis of Systems".
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
→
relatedTo
→
"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"
ⓘ
↳ resolves to Computer Aided Verification conference